I hate to tell you this but you've been using the wrong oil for the last 4 years. TC-W3 is not recommended for SeaDoo's period you should be using API-TC low ash oil, the TC-W3 is no ash. I'm not sure what's available in Oz, I believe that Penrite has a API-TC oil, there's a recent thread on the subject.
You have 717's so you don't have to use full synthetic, synthetic blend or API-TC mineral oil is O.K. You should drain the old oil bleed the oil lines replace the filter before changing oils.
The Quicksilver PWC oil, in the gold bottle is the only one in the link you sent that would be suitable, the other two are TC-W3 oils.
Lou