im not sure but i dont think so, i do have the paperwork for mine which suggests to use TRD's oil, which is discontinued lol.
i bought my oil from opie oils which is a similar price. Bought 3 bottles but used two.
http://www.opieoils.co.uk/showproduct.aspx?ProductID=1016&SEName=red-line-synthetic-gear-oil-75w-90-gl5&