Thank you. Yes they take it out as a payroll deduction. I am pretty sure they also contribute to it as well and we (employees) pay a percentage based on years i...