Welcome to the 'club! 5/8" socket IIRC.
It's the easy questions that stump me, LOL. We only get two plug sockets over here in the good ole' U.S. of A..
It has to be either the 5/16" socket (AKA "the little one") or the larger 5/8" plug socket (AKA "the bigger one") over here. I had to special-order a 14mm motorcycle plug socket - nobody stocks them here!
I'd seriously consider the types with the long t-handle, as the plugs are deeply countersunk into the head.