Tinkuy Buffet Restaurant: Machu Picchu Sanctuary Lodge. 11:30AM-3:00PM. A casual and very expensive lunch buffet. The food is decent, and it's very popular at lunch time. US$33, S/.96.00.
Tampu Restaurant Bar: Machu Picchu Sanctuary Lodge. 5:30AM-9:00AM, Noon-3:00PM, 6:30PM-9:30PM. Open to hotel guests only, also high prices.