Hi all, I want to change my gear box oil and diff oil, i have heard nothing but good reviews about Royal Blue 75W-90. And Royal Purple 75W-140. There is a dealer in UK. Has anyone used these products and how does it compare to Redline or Castrol Thank you Sembi