That certainly doesn't bode well for their 'November' opening. Of course, they may have a soft, unofficial opening in November, but most hotels here don't tend to do that.