My friends who had the same situation as yours paid the tax. Ask the payroll office to get authoritative info.