Right, got some more info. It depends on the gearbox your car has, which you need to check on the build sheet in the boot or in the Service handbook.
Some of the gearboxes are listed below, with the oil they were filled with at the factory.
EBD, EBF, EBJ, EBM, EBS, EGW
Oil for pinions API GL4 SAE 75W90 (Synthetic, high performance)
EGR, EGS, EGV, FBK
Oil API GL4 SAE 75W (Hypoid)
My Toledo TDI 110 has an EGS gearbox (mineral oil) but it is also listed with the EBF gearbox (synthetic oil)
The warning from SEAT is as follows:
* There is a new mineral gear oil API GL4 SAE 75W (Hypoid) in accordance with TL 726 /Y. This type of oil can only be used in gearboxes where it is specified and must never be used in gearboxes that incorporate the previous oil API GL4 SAE 75W90 (Synthetic, high performance)
* Due to the incompatibility between these types of oils, they must never be mixed as they change the properties of the lubricant.