You may be able to trim a little more off of the price. I saw one on the net for a little over $8200. Don't know how the one you are looking at is equipped. Generally you can take the manufacturers list price and discount it 30% to get in the ballpark. Aggressive dealers will do a little better than that. Also don't know where you are located. You might give RV Wholesalers (Cleveland, OH area) a call. They will be very competitive and take very good care of their customers. They would probably have to order what you want as I didn't see that model listed in their present inventory. The owners monitor this forum also.
2014 Palomino Puma 25RS
2011 F-150 Super Crew XLT
Days camped in 2014 - 23
Camped 2015 - 47
Camped 2016 - 51 done - 6 more planned so far