Aircooled VW South Africa

Good day to all.

What will be the best gear oil for my vw beetle?

The factory says 80W90 Hypoid oil.

Some say Castrol Synthetic for much smoother changing during warm up

What will you say?

Thank you.

GL4

I’m going to swap my bus to synth soon but I’ve never noticed differences between warm and cold shifting