Quick question about Nottingham; I was there in '97. What's the name of that old pub across from the castle and the Robin Hood statue where you walk in, try not to bump your head, and the bar counter is to the left?