You might eventually end up calling 15mm pipe half-inch, depending on where the cheapest pipe can be sourced from.