That's right. Photo: https://www.instagram.com/p/DJISPuEI5Hj/  I made the change: https://www.openstreetmap.org/changeset/165697415 (and then in a later changeset I fixed the name thanks to your note. The "&" is on the sign, but I missed it)