I am interested in getting a backhoe for the TX25. I contacted the vendors listed on the Summit website and none of them carry the backhoe. Do we have to buy it directly from Summit? Do they ever offer discounts or sales on it? $8000 is a bit steep, $6000 seems more reasonable. Are the third...