We were unsure about eating at Tivoli, as the guidebook said we would find amusement park food at amusement park prices. Not so! We ate at an Asian place, pretty good food, quite a few cuts about amusement park food, two people, around $53 (July 2023.) It was really nice to spend a full evening at Tivoli without having to eat beforehand or later. Once you get away from that crowded lane of fast food type options, there are quite a few healthier, tastier options. We saw many older, local people meeting their friends at Tivoli for dinner. We were very glad we decided to “go local” and enjoy a meal there in the middle of our walking around.