Is the the one Walmart warehouse that is shutting down due to plumbing issues? Or things that exceeds the budget for repair?