I have acquired a Craftsman 22" mower. The manual I downloaded lists a Tecumseh engine but the mower has a GJAEA Honda engine. Did they use some of each type.