If you are more space driven than budget driven, you also might consider the PM727M or V and 728VT. These are similar in size to the PM25 but more room in the vertical axis and generally just better, but also more expensive.
Like many I have space issues, and ended up having a Clausing 8520 fall into my lap, pretty much the biggest mill I could have managed. I was looking at all of those on your list, as well as the 727 (728 wasn't available yet), the larger PM30 and some small knee mills. Height was my most critical concern with a mill, I'm in a basement with 6-1/2 foot ceilings and milling machines tend to be taller than wide.
I have been able to look over a PM25, and it was the major contender for me, when the Clausing came along. I was lucky enough to be mill shopping when somebody I know bought a bigger mill, and I was able to buy their old one.
I think the PM25 strikes a nice balance between size and cost, a lot more mill than a mini-mill, but not much more expensive.