For the money I would wait on a CC 4x4. Like Mel said the repairs are minor things You can take care of in a weekend and You'll learn something new about your new truck but I wouldn't pay $4500 for that one.
You mentioned You'd wait on a powerstroke, if Your budged is low for repairs a used PS would have things You'll have to fix too and they may not be as low as repairing an IDI.
You mentioned You'd wait on a powerstroke, if Your budged is low for repairs a used PS would have things You'll have to fix too and they may not be as low as repairing an IDI.