Has anyone ever priced a Bearcat 5” PTO chipper? Looking at model # 70554, I’m being quoted $5,800 and it seems high. Any help would be appreciated.