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 [email protected] https://lists.openstreetmap.org/listinfo/tagging
