I recently took my 87 5kcst to a new mechanic who supposedly specializes in Audi. He swears by using Marvel Mystery Oil in the crankcase. Has anyone had any experience with this stuff, good or bad? Isn't it just a quack additive? Any BTDT appreciated. Adam Boston,