it seems to me most people use thicker tubing to lay lines on. if you use 9.5mm, you dont pull it at all, it stays the initial size pretty much., when you use 25 or 32 or whatever, you make a smaller section, then stretch it to your desired diameter, and you get more tubing out of less work laying lines down.