That's right. Two different driveways. Here's a photo viewed from the back car park (camera pointing north-northwest) https://www.instagram.com/p/Ca4pX8IDhEe/   I should've held the camera higher. There's another drive way on the other side of the fence, so it's all mapped correctly.

Plus I've just set the maxheight=2.5m tag there https://www.openstreetmap.org/changeset/118279789