Thanks for that Zeus, I was about 12 when I was looking at that so didn't remember much detail (that was 65 years ago :=(
I still have my original 12" Craftsman, bought new in '72 (plus a "parts" one, $10 on CL, supposedly works, plus TWO of the 10" (one MIGHT be parts, other works)... Steve