I found a Craftsman 10 HP on Craigslist, but was hoping for more info before I drive to look at it. The guy that has it for sale didn't seem to know much about it. He gave me some numbers he found on it, and I was wondering if anyone would know the make, age, or if it is a flathead or otherwise. The numbers he gave me are 143951010 and DOM 5031R. If anyone has any info, I would appreciate it.