Reservations

are completely unnecessary, as is this page (you do need to buy tickets, but doing so automatically reserves your seat). But if we delete it then the nav bar will look weird. So, sorry for wasting your time. To make it up here’s a joke: