I believe the difference between a decent woodworker and a great
woodworker is what he does AFTER he makes a mistake. Sounds like you
took the high road even if the mistake wasn't yours. Good save.

DonkeyHody
"We should be careful to get out of an experience only the wisdom
that is in it - and stop there; lest we be like the cat that sits down
on a hot stove-lid. She will never sit down on a hot stove-lid
again---and that is well; but also she will never sit down on a cold
one anymore." - Mark Twain