I would have though that if anywhere, it would have been on the side on the RCD
seems like the most likely answer, but the OP did seem quite clear about 0.8mA, so who knows?They will be 80A/30mA devices.
If you need to find a tradesperson to get your job done, please try our local search below, or if you are doing it yourself you can find suppliers local to you.
Select the supplier or trade you require, enter your location to begin your search.
Are you a trade or supplier? You can create your listing free at DIYnot Local