Several years ago, my wife & I ate at a steak house inside of Rio, called "The All American Grill" I believe. It was a bit pricey ($80 w/ tip) but they had the biggest & the best Filet Mignon I have ever had. So I can reccomend that restaurant, if it is still there.