Will you get the same amount of hours? Still I'd say go for the $9.25 because you're on the water, it's about to be summer, probably can meet girls, etc. But I also love boats and being on the water, so I'm biased.
On the other hand $15/hr would give you a lot more money to actually do leisure activities...such as take a girl on the harbor cruise instead of working it.