Olio Castrol per Golf 4 tdi 115

Buon giorno a tutti, nell'ultimo tagliando dopo la riparazione del motore, ho chiesto al meccanico di mettere un olio di qualità, inquanto la volta precedente aveva messo un olio ford che non mi convinceva. Quindi mi ha messo un Castrol presumo magnatec ma non ho visto la confezione.
Chiedo a chi se ne intende, può andare bene il Castrol che mi pare una buona marca o c'è qualcosa di specifico per quel motore?

Ringrazio Anticipatamente tutti

Andrea