My RCD is 40Amps, someone said that the cable to the socket should be 6mm but I wonder if that is correct as I understood that a 2.5mm to a spur ( 13Amp socket) was okay. Just to be safe I was thinking of doubling up with 2x 2.5mm to the socket as they go into the fittings as with a ring.