Ouch - unlucky that man.

Do we assume correctly that no warranty or insurance will cover this?

Not good - keep us posted with the repair progress, you might want to wander into a local engineering company who can fix this - just a thought.