I admit, I don't know a lot about Seadoos (yet), but I saw this machine at a dealer for sale and was looking for some opinions about it. Sales rep said it had about 280 hours on it, has never been rebuilt, has no issues with it and is a clean machine. They are asking $3995 for it and won't move on the price. Thoughts?