I think both of the above are correct, depending on whether you have a reservation for the fixed price "Burgers and Sundaes" meal or whether you are going to the Counter Service (ala carte, just order what you want) option at Restaurantosaurus. At least that's how I read the information about this location - it does seem confusing and I may be misinterpreting what I see.

Anyone been lately to either or both who can clarify?