Found some mystik or ( quiksilver ?) api-tc jt4 pwc semi synthetic oil at Menards for $16 a gallon , I've been running full synthetic quiksilver for $45 a gallon. Would the semi synthetic be ok? It's a heck of a cost savings , and my understanding is rave valve 700plus motors are the only seadoos that require full synthetic ?