Do not call your insurance company and file a claim as suggested above.
It's the plumbers fault, and they need to be responsible for the cost
of fixing it, not you via higher insurance rates.