There's no tavern in the signage here, and Whatpub doesn't have it as a Tavern, so just the Royal Mile I think.