Red Rock is under new ownership since last fall. Martin and Lesley are no longer the owners. Not sure if the Red Rock comments are in reference to the old Red Rock or the new Red Rock, but you may want to look into that before you commit to going there. Or if you want to go high-end, Brandywine is about the same difference in the opposite direction.