Shape improved with https://www.openstreetmap.org/changeset/177480531

The deck is now mapped as https://www.openstreetmap.org/node/13452291567

Not sure how to do the pet access part; will leave open for now.