I had not heard that, but would also like to know! BTW how much time do you think we should budget for lunch at WCC? We have a reservation on our last day, and I want to make sure we get back to our resort (CBR) in time to catch DME to the airport....