Oh, okay. But those were all listed as "amenities" under the Hotwire dropbox... I would be fine with any of those places. I would not be okay with the Trump, however. There's no way this listing is the Trump, right? Trump does not have a casino? Thanks, I'll use the HOTWIRE link to buy if I can feel comfortable with the NO Trump option.