Minor point, but this one is curiously called 'Richmond Pub' (see photographs):

http://www.pubsgalore.co.uk/pubs/56531/