The "new" version of my 7.5hp Campbell Hausfeld is $2600. Isn't IR supposed to be more "premium" than CH? If so, then that's probably a legit price.
It's a 3-phase unit, too - dunno if that makes it more expensive. The CH unit I'm thinking of is single phase.

I hope you don't plan on trying to hook up 3 phase in your home garage

I hope you don't plan on trying to hook up 3 phase in your home garage
Why not? Just get yourself a Phase-O-Matic or Phase-A-Matic.

Wasn't IR generally accepted to be "better" than Devilbiss?