Fair enough and thanks, but I'll use 15mm because I already have the bits.
Thinking about it a bit more, I'm sure the choice of 10mm pipe by the manufacturer is primarily cost based, but also, if there is a short length of narrow 10mm pipe to the internal vessel, the volume entering and leaving...