Ironman is worth $4500 to $5000 tops imo in std used form.
(Same money Gameworks were selling low usage Demo I,M models/them for, up here 18 months ago)
Mods can be valued n added on top if the machine has them.

Indy Jones is worth between $4000 and $5000 depending on condition etc.

I say keep the I.M. Hard to get one later.
Will u regret selling it.? You are going from a fast machine to a slower machine, but std to widebody ofcourse.
Indy is deeper, much deeper with the latest roms. Go n play the Indy jones for a few hours.

 

Where are you going to find a IM for those 4.5-5k? Let me know and I will buy 2 of them.
Good luck with that pipe dream.
Played Indy heaps, I know it back to front.