Very lucky girl. When we changed the cable, the heat damage to the joist was really bad. She's had the shower for around 6 months, she was replacing a 7.5kW, no idea how long the cable was there before that though.
To make things worse this wasn't a diy effort, it was done by a spark!