Curious what oil folks are using here, I have a 1999 Vauxhall and manual recommends "semi synthetic" for both engine and live axle. The closest I can find is Castrol GTX high mileage 10w40 which is a blend. And Lucas Oil 75w90 which is fully synthetic for live axle. Are there better options?