I have a Jaguar xj6, series 3, 1980. I was wondering what type of gear oil is recommended for this model? Any help would be greatly appreciated.