E60 M5 - differential and transmission fluid

[Shaoxter]

I have the big oil/plugs/air filters service coming up and as recommended by quite a few people (not the dealers funnily enough), I'm also going to get the diff and tranny oils changed.

The price of the BMW branded oils seems to be even more extortionate than usual, could someone confirm if these are the ones I need?

2L of http://www.ebay.co.uk/itm/Castrol-Syntrax-Limited-...
3L of http://www.ebay.co.uk/itm/12-10-Castrol-Syntrans-B...