My Dad has a 2004 Lazor HP with a 17hp Kawasaki with the 44" deck that he purchased new in 2004 and only has 122 hours on it. This unit is like brand new. Options include turf striper, micro-mulch system, and the ultravac QDS collection system. The local Exmark dealer told me that this unit sells for $8400 including all the options. I'm looking for opinions on what you guys think we should ask for this mower with the options. Thank you in advance for any opinions.