$ 0 0 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!