Shell 15w-40.
I'll ask the mechanics about it when we take it in for a service