Yepp, sadly the guy (Mike) retired "end of May" as he said numerous times on the air. On May 31st, he was working his last shift.
The controller frequently handing off departures with "good night, great flight" (deep voice, "Dennis") is still working there.
btw: How you do know their names. They try to avoid using names and mostly do not react at all when names are uttered (from pilots). The only names I came across after years are "JFK-jokers' " (S.A.) and a womans', G.K.