And did they have the surrounding plaster/wood/ concrete removed or did the spill & smell evaporate soon enough?
This has happened to me.....foolishly I hadn’t had the boiler serviced so I doubt I can claim on my house insurance. The boiler is 15 yo so it might be best to replace if I have to have the concrete and plaster removed.