Yeah I can't manage to find anything even remotely close here in the US. I'm using 1/2" (just about 13mm if my memory serves me) pipe which is what actually comes from the house feeding the pool.
Because I've got this together, I might just move the location of the T to a more central...