I have a used 2004 seadoo gti le rfi. My question is, the oil pump was run dry for a period of time because the previous owner was running premix. Is it safe to go back to using the oil pump or is it toast because it was run without oil? I also wanted to say that he had closed off the rotary valve and it contained oil so I am not worried about it.