manual for each insurance company in each state (it’s public record with the dept of insurance) and we would code that up to a module that would spit out the premium for the given input.

And yes, most companies included credit score as a factor for the premium.