Local dealer went out of business, what oil is compatible with the sea doo semi synthetic?