One more minor crisis. Seems that the exhaust hose we bought is 3" diameter, but the original hose is actually 2 7/8". Anybody know who or where I might find this in stock. I was thinking a big rig repair shop might carry something like this. Let me know.