I’m helping my buddy buy a 95 spx with the 657 and everything on the ski seems solid but the guy has Lucas oil in it instead of Sea-Doo spx mineral.. is it mandatory to change the oil completely out or would it be fine to keep using the Lucas? Thanks.