We're going to Edinburgh for 1 night to celebrate hubby's 40th birthday. Staying on the Royal Mile and looking for recommendations of places to eat for an evening meal. The Witchery is out of our budget, although somewhere a wee bit fancy would be nice! Any suggestions?