How do I know this you say? Well, 8k is 30mA at 240V.

We were watching the news last night, when the TV and the lights went
off. It didn't take very long for me to realise that the landing light
was still on. We have a split board with 2 RCDs, and upstairs is
sensibly on the other half. A little playing, and I had the fault down
to the breaker marked "ring main". A bit more playing - and I had
unplugged everything in the house. And still I couldn't reset the
breaker without the RCD going off again. So I went to bed, and called a
sparky in the morning (I know, but I had to go to work).

He traced the fault with some sort of gadget well enough to get the
right socket first time. We recently had an outside cable installed to
feed a pond pump, and inside the backbox was a bit of a mess. It looks
as though slugs have been crawling up the cable and using it as a house.
Until one touched the wrong bit.

Sparky says he's seen all sorts of faults, but that's a new one!

Andy