Gettleman has officially retired.