I've had a delve but I can't track down the name of that one. In my googling though I have found the name of the one just behind my school: it was the Chimes, sadly yet another pub that is no more... That was our default pub for our end-of-term pissups. I could tell you some stories...