I heard a while back that Waikiki was not reopening. Is that an unfounded rumor?