I would think the workshop would have insurance for this kind of thing, make them do the claim and repairs.
Like any repair, you would inspect if afterwards. If I wasn't comfortable with what I was inspecting a 3rd party inspection would be a good idea. Maybe one of the forum sponsors in Brisbane could do it for a nominal fee.