Overall, our group of 9 had plenty of space to enjoy ourselves in Dallas. Jimmy was a good host that provided a good place to stay.