My nephew is there in the air force. He just finished bootcamp in Texas. I already told him we would be making a roadtrip to see him. Looking forward to going to a real casino, it will be so much better than HardRock. How much were the hotels and are they actually inside the casinos?