Is The Jolly Farmer PH really operating as a post office ?

https://www.openstreetmap.org/node/256044024

(I'd have thought Uncle toms cabin a more likely location)

https://www.openstreetmap.org/way/790171502