Ive never even heard of a 5mA GFCI. In Sweden afaik 30mA is the standard, and I assume much less likely to be tripped up by tiny faults.

Also, a GFCI install here is a simple and cheap affair. Does not require checking everything else or inspection or upgrading of fuse boxes or consumer unit.