"Also, what's the latest on Red Rock Station--are they going forward with that?"

I haven't passed it in a while, but they had the topping off and the new name is now Red Rock Hotel, Spa and Casino or some combination of that. Barry