Thanks b-a-s and Chapeau,
b-a-s,
In case this has a bearing on your earlier comments, to clarify, the RCD in question is a 30mA RCBO dedicated to the garage circuit and is located in the house, adjacent to the main CU. There is no 100mA RCD present; the main CU is a fusebox with...