Rifle, CO, How many police officers suffer from PTSD?