"Such hours will be paid as overtime or compensatory time in accordance with agency premium pay guidelines." . . . .