To complicate things a bit more :-), we also have leisure_bleachers! (Or at least we used to - can't see it any more?)
Thanks Graeme
_______________________________________________ Tagging mailing list Tagging@openstreetmap.org https://lists.openstreetmap.org/listinfo/tagging
