Mannesmann mini tube cutter 3-16mm, M41805 (tool)
This thing is really good, and at the price. He is of course small (which is on the vehicle so willed) and therefore requires a bit more power. But if one adjusts several times and then turns a few more laps, which is quite feasible.