As the tooth pitch is the same (same starter gear), the 131 tooth wheel would be 131/130 times original diameter. It would move the pitch diameter out less than 1%. It's probably within tolerance for mesh, or else the starter was moved out a little. I vote for the first option.

R.