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