Thanks. I've added it! https://www.openstreetmap.org/changeset/127147272 (Other side of the road from this note) I vaguely remember seeing this place myself too, but at some point I should go there and map exactly which building it is (+addresses on the whole street)