Yeah, I guess Redline would work. They usually recommend a change every 50hrs or once a season. So a good quality oil is worthwhile here.
I'll tell you this, almost anything will be cheaper than the Sea-Doo brand pump oil. I felt stupid! One bottle of Mobil Gear Oil will last my brother and me...