Hi, I’m new to this site. Never knew there was such a following. So, I,have an old mini that I got at a flea market for my son about 35 years ago. Had no markings, but I was told it was a Sears Craftsman. Ran it as is for a few years, then the frame cracked. Took it apart to get it welded, and that’s where it stayed. Been on a shelf downstairs for about thirty years, waiting to spring back to life. The only markings I have are on the engine. I’m sure it’s a Tecumseh. Model # is a Craftsman, 143-684012 Ser 9173A. Engine ran great when removed, but since it’s already off, gonna do some minor tune-up. I found new points/condenser, spark plug, breather element, air filter, and muffler. Going to put fresh clean oil, and clean and degrease engine. Does anybody know what horsepower it is, possibly what year, and where I could find a manual for the engine ? Sorry, no pictures because it’s all still in pieces. Engine has cast iron flywheel with nylon fan, and mini bike has jack shaft and torque converter. I found a cross reference chart for Craftsman to Tecumseh, but oddly, that model# isn’t on it.