I have just tried to get any sort of ADR in MK or surrounding hotels for October 1st and everything is saying no availability - I was online and trying from 5.45am EST, and exactly at 6am when it opened up. Everything was booked. Do you think that's right? I know resort guests most likely have managed to book in advance due to their stays, but everything booked out?