I have a mobile RCD device plugged into a wall socket from which I run an extension cable to my shed. I managed to short circuit something in my shed, but, instead of the RCD tripping, the 13a fuse in the plug blew. Something tells me that this isn't right. I tested the RCD, and everything's fine. Could the RCD still be faulty?