I personally would go for the rig with the best receiver and most features for working DX and the number 1 radio for that for the last 2 years is the FTDX-5000. The radios you named fell behind it in the QST,Sherwood and 4 other major reports from around the world. Cost wise it runs about the same as the radios you named it you add the extras to them plus the 5000 is a 200w radio check all the reports before deciding. I have had mine for 2 years and have never looked back and never a single problem a MP model. The K3 I had was nothing compared to this radio to operate and was hard to listen to for very long was glad the day I sold it.
The DNR on the 5000 is unmatched as far as pulling weak signals out of the noise floor or working the weak signal inbetween 2 strong signals on both sides is unreal with all the filtering included in it and only 1 extra mechanical filter to buy.
73 de Fred N0AZZ
The License is Only Your Starting Point in Radio!
MVDX/CC of SW MO., DX Hogs, OARS, NARC, NCDXF
ARRL member, ARRL and W5YI VE
DX the thrill of the chase
""D-STAR making use of the 2/ 440m repeaters for real world Digital Voice usage around town and around the world""
" Not one of us can do what all of us can do " ** Max Lucado