Has anyone mentioned that the Blue Mall is becoming a Hilton hotel?