Quick update, in case anyone's expending energy on that question: the problem was superseded by another - the bloke supposed to deliver the car had clearly over-booked his time and in the end was going to deliver about 2am - without apology - so I told him to forget it. Which means we're back to square one and probably paying more for delivery.