Why are you not looking at the IHC 9400's???
You can buy a sub 500K unit for just over 20K in really good shape.
ISX can be brought right up to 2000 ft lbs TQ if you know who to see with a computer interface.
Tons of room and a boatload of used parts on the market.
They are a solid truck, too!