I'm not sure whether this should have its own tag; how different is it from either an underground pipeline or an underground canal?
__John _______________________________________________ Tagging mailing list Tagging@openstreetmap.org https://lists.openstreetmap.org/listinfo/tagging