To be fair, we don't actually know what sort of RCD it was/is ....My error. I was thinking it was a a normal domestic tpye RCD and not an Active RCD.
.. it is not impossible that he put a "normal domestic type (passive) RCD" in the the lead. However, the behaviour he is describing strongly suggests that it was an active one.... For added safety I put an inline RCD in the cable between the socket and the bayonet plug ...
Kind Regards, John