Having recently picked up my car and it being freshly serviced, I want to buy some oil for topping up. I am fairly sure he said it was a Mobil 1 Motorsport 15w 50 grade, but I just wanted to check if that was correct beofre I buy it? Would that be a recommended grade and oil to use?