Good to know what manual the images I found were from as I thought the engine listed in the manual was bigger than 12.5.
It's still not entirely clear, because my mower is definitely a 30 inch model, not 32 or 34 as per the manuals, and the serial number of the engine apparently indicates a build year of 2011.
