Kohler CH26 EFI Governor Setting Question

The manual gives me two options. One for the ECH EFI system and one for the Bosch EFI system. How do I determine which EFI system is on this mower?

Thank you!