I had my friend changed out the differential fluid at the Subaru dealership as a hook-up and he used the Torco Professional Series Synthetic Racing Gear Oil 75w90. He said it was like 8 bucks a quart. Have any of guys used this?