Those are great prices nowadays for an installed 5-ton system, I think. Not sure, since I haven't looked in a while. Heck, that may be good for a 4-ton nowadays.