Yes, but ask them how old they must be to retire.
Yes they can retire at 20 years, provided that they are 60 years old.
20 years of service is meaningless other than a generic calculation. It is length of service times number of days off. minus 6 percent for every year younger than 60. This is for the A fund. The b Fund is uneffected.
Cheers
Wino