Wishing he had a title...
At the risk of stepping on someone toes, I do have an opinion. I would stay away from the Craftsman unless you find one of the old Model 100's. Before I get jumped on, I know there are some good ones out there. Problem is there is lot junk out there too and it's not always easy to tell which is which.
Many of the Craftsman were value engineered to the point they didn't hold up. I had one that could not be repaired. You had to replace the whole arm to fix it's problem and it would not cut a straight line, literally!
I had another that if you held a gun to it's head it couldn't make an angle cut and return to 90 degrees. I was constantly readjusting it. And I rebuild old machines so it's not like I don't know how to adjust one. It was just poorly designed, they both were.
So my advice is check it out EXTREMELY close before buying if you look at a Craftsman. I know there are good ones out there, I just never want another one.
So if it were me, I would be watching for a old DeWalt. Check it to make sure the arm and bearing surfaces are not worn out and most anything else can be repaired. They are far superior the newer Craftsman. I have a 1946 model that I rebuilt and I wouldn't consider parting with.