I got a price from the dealer of 12,200 for B7500HST with 302 Loader. Hope that helps for some comparison. That sounds like a good price. I believe the loader cost under 3,000. I would say thats a great price.
$9000 is an excellent price. In May, in Houston I got prices of 9670, 9795, 9895 & 10100 on a 7500. This was with R4 tires but the dealers here didn't charge any more/less on your choice of tires.