JTO,
My statement still holds true (unless different for the RAF?). The way it is defined may have changed but I am not aware that Servicemen are paid an additional amount i.e. overtime. If my staff work more than their conditioned week, 40 hrs say, they get overtime. This overtime is double or triple at weekends. If my son does a weekend duty on his ship he doesn't get overtime or TOIL, nor does he when he deploys for 7 months.