I see. Thank you. I tried to read myself up on Armstrong, just to find out they went out of business in 2017. But, I found another tool owned by the same company, Crescent tools. And they looked more slim than the Craftsman, but when I had looked at enough pics of them it was like,... nah,... they look bulky too. So, not easy. :)
I will see if I can find pics of the ones you mentioned. Guess that will keep me occupied the rest of the day, or at least until pizza arrives. :)
Bill
