Should have been something in their lease about what happens if it was sold during their lease. Most do.