Hi what's the pipe diameter in mm of the pipe that's fits into air box