Do those risk adjustments actually occur in real life? Is it even specifically "police insurance," or is it under the umbrella of the insurance for the jurisdiction (city, county, etc.) where those risk adjustments can get buried within larger coverage patterns?