As of October, about 3,700 INPRS members were eligible to request their earned retirement benefits, with median monthly ...