hi all want to check, the original air intake pipes to the 172 air box, what is the diameter of them? about 2"?? thanks Phil