Well i'll say 6-7 as much if the horse is in the excelent conditions status
My Vx have 54300 & i bought it for $ 9800 when it had 38700 on the clock.
I did a KBB & the estimate price range the 9500 because of the little upgrades & my loan is already below the price the KBB says ( $9290 ) so use the KBB to get some guidance on your final asking price buddy.
Sorry you considering selling,but you know better.