An old colleague of mine is working for the same company, and in the same role I will be taking up later this year. He was pretty certain end of service gratuity didn't apply to us.

Perhaps my annual bonus is considered to cover this aspect?

I will be getting the full contract through in a few days - that might shed some light on this issue.