Average retail on that ski is about $5,000
https://www.jdpower.com/motorcycles/2012/sea-doo-brp/gti-limited-155/values
With a trailer, fresh seat covers and a warranty, $6300 is a good deal.
BTW, currently have 330 hours on my 2012 GTI limited and it runs perfect.