Never used the first one so I don't know if it's easy to get or not from there. I think you have to purchase it but that's a choice you'll have to make (no affiliation with them). There are some free sites too, harder to find specific models but may find something close enough.
I find alot of the Craftsman machines have had model numbers changed over the years but are essentially the same machines. Hope that helps. Good luck