Well, it has arrived with the buyer and I have asked him to open it up to check it is okay — the box appears to be intact on the delivery photo, and I packed it well, but the tracking message yesterday saying "shipment damaged/destroyed" triggered my anxiety big-time.