M-R about paid time off for workmen