A traditional Scottish pub on the Royal Mile, Edinburgh