I am trying to figure out the Tecumseh engine number for a Sears engine I have on a David Bradley Generator. The Sears number is 143.506011, serial # 0725395. Every table I have seen does not include the Sears number I have. I believe the engine was made in 1940. Appreciate any help.