The Royal Mile Tavern, Edinburgh. Not a nice experience