It now appears to be leaking on the ground just 1 hour after driving, so
that minor point made in the prior post may be irrelevant.

Thanks,
David