Well after some thought, I'm still not thrilled about the lack of real news but I do know that Rotary Air Compressors are very expensive. If its a 30 horsepower then it was probably a $20,000 dollar job.. At least we know they're not completely broke???