I am also surrounded by public sector workers. None have retired early by choice. One retired around age 62 as part of a unit downsizing.
I don’t regard my sample as significant and the same can be said for yours. Also, defined benefit pensions are adjusted actuarially for early retirement. Averaged overall, there is no extra cost to the taxpayer over what would happen if these people worked longer.
You may think their public sector pensions are cushy, but that is an entirely different conversation.