Last Tuesday we had an almighty thunderstorm (overhead lightning strikes), which tripped the power in the house. As it was just our house and not a general outage, I reset the trip on the consumer unit. It kept tripping every minute or so, decreasing in time until it wouldn't reset. I switched...