I'm not disputing they are good compressors at all. And perhaps they were built differently back then with different pumps. But as it stands today, they are the exact same compressors!
Problem is if you get a dud at HF, you're screwed. I was willing to take that chance for $600 vs. $1600.