TedP, how was the construction noise at the point with what's happening at Grand Lido? We're bringing down our son next trip, so probably not staying west end like usual.