re: #295 Gus
I think the cop involved in the shooting should be eligible for full retirement right now.
If he needs or wants it, yes. But most cops who kill an active shooter continue on as police officers.