Thanks for the tour mate. I did find it and the pinball was working. My colleagues were a bit disappointed with the machine, and as there was no real ale there, we moved onto the JDW Waterhouse, for a couple of late pints. I gather that they were a bit late getting their registration desk up and running this morning - I wonder why!?