I think the key is: the buffets at the Stations are pretty standardized now. There are some differences (Red Rock has sushi, though someone said the options were limited and when I was there, I never saw anyone in front of that area) from place to place, but what I saw at Red Rock looked A LOT like what I saw at Aliente or Sunset.
My perception: same food at Red Rock as Aliente or Sunset but a higher price. Use a half price coupon or if you're a senior go on Wednesday, it's a good deal. Especially if you, as I did at Aliente, hit the breakfast late so you get the change-over to lunch Then you're paying $2.50 for a nice brunch.
If you're at Red Rock, eat there. It doesn't pay you to drive to another Station. But, I wouldn't drive out to Red Rock to have their buffet when Sunset or Aliente (haven't been to Santa Fe) is as close or closer.
