Thanks, interesting!
It tripped and seems to have reset successfully. Not sure how to test it though - the doesn't have a test button like the RCD.
The MCB tripped too. I'll test it tomorrow.
I think that side of it is OK - sockets and shower (but not lights) are on an RCD protected circuit.