Did any Edinburgh folk ever go in the Holyrood Tavern back in the day? I used to love that place during my student days.