Briggs did what most makes did.
Started with a bore & stroke for one series then either stroked or bored it go to the next series
Within a series they used various devices like a smaller carb, or smaller jets or a restrictive manifold to get the 1/2Hp incriments
The first number is a 6 digit number so your current engine is 091702 with the 09 being the displacement in cu in.
Usually within a single series there was usually a 2 to 3 Hp range.
This will explain it better than I can
And you need t remember that your shredder uses an obsolete engine so you are looking at the differences between one obsolete engine and another obsolete engine.
Could it be assumed that there should be a lot of 12hp engines floating about as they would be the more common engine size used on ride on lawn mowers?