Has anyone done this? Or does anybody know what size the exhaust is external diameter so I can buy some pipe and fabricate one.