I've duplicated an amenity=piano point node here; my apologies.  I'm starting to look into how best to de-duplicate those (for example, whether there are mechanisms to merge duplicate nodes).

The point nodes are:

 - https://www.openstreetmap.org/node/11634963004
  - https://www.openstreetmap.org/node/13354419719