Does anybody know what type of oil to use for the supercharger? I've found Syntheso HT68 in the manual, but can't find any info on it online or where to buy. Dealer couldn't tell me either...