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-71, 2017-33, 2018-29 booked