We can add it as a node, so that the most useful information gets its way to the map.
https://www.openstreetmap.org/node/10930177480

In the future, someone could take over and refine this into an accurate area.