I am looking at 2 2008 Seadoos. A RXP155 and a GTI SE155. Both are 1 owner by the same person and both have approx. 50 hrs on them. Supposed to have been well cared for. I have no idea on what these go for. Does anybody have a idea on a fair price? Is $5500 each sound high for a low hr. machine like this? Thanks for any advice anybody would be able to give. I am set on Seadoo, my uncle is in the business in AZ and said Seadoo is the best.