I actually have no idea what oil they used...... What are they likely to have used? Would you guys advise synthetic over mineral? I will flush and do my own oil change this time, but I am unsure of what to use...... I have read that going from mineral to synthetic or visa versa can cause gasket to swell and leak....... thoughts??