Amadeus is a gastropub.