It's been awhile since I was at Red Rock, but it was very good.
Was at Aliente this year: excellent. Great options.
GVR does a decent job, but options can be limited.
Sunset Station is good.
Skip Palace Station and Boulder.
I'd probably put Texas on the skip list too, though I used to love this place. They had almost a dozen different chilis and smokers right in the buffet. Most of that is gone.