Here is a menu from the El Cortez from the mid-1950's according to the seller. It would not surprise me since the most expensive thing on the menu costs $3.50.