Daveb the manual I used was the last one that came out just before they went under. It also covers all the OHV engine Tecumseh produced. You're telling me that the spark plug companies override the OEM. Stens isn't even a plug manufacturer. As Fish said, you can use other plugs as long as the length and tip are the same and the heat range is close. I would follow the OEM first unless there was no other available, or a cross to another major plug producer, not distributor. Just my opinion, as I'm just an old fart who has forgotten more than he knows and likes to make trouble.