What size is the pipe that runs to the washers on the bonnet guys! They seem to do it in everything from 3-12mm.