The Buttery, one of the popular restaurants in the old town.