Thanks! Done, and at least that great old pub name has been maintained in some form...