No but of course I'll give it a peek next time I'm over there. Or maybe another mapper will first. But this reminded me to close https://www.openstreetmap.org/note/2066645 so all's not lost. And here's a picture for you: https://jmapb.github.io/images/dannmer.jpg