Volkswagen New Beetle: olieën mengen? VW New Beetle TDI

Hey iedereen,

Maandag gaat mijn VW New Beetle TDI binnen bij de garage voor een groot onderhoud. Nu wil ik even jullie mening omtrent de te gebruiken olie.
De wagen gaat nu immers op onderhoud bij een andere dealer dan voorheen.
De vorige garage heeft er synthetische olie op gedaan. En mijn huidige garage wil er Castrol half-synthetische olie op doen... Kan dit schadelijke gevolgen hebben???
Namelijk van synthetische overschakelen op half-synthetische olie...?

Want ik las namelijk dat half-synthetische gebaseerd is op minerale olie, maar de eigenschappen heeft van synthetische.

Wie kan er mij advies geven?? (normaal gezien moet mijn garage dit ook wel weten, maar ik heb toch het liefst eerst jullie mening)

Dank bij voorbaat

Tim