I still have an eBay auto-search up for Ironmen, though I'm not really in the market, and three auctions have just come up (as of this morning, 8/26/12), two of them featuring Ironmen in small sizes.
One is a small 'Miami Vice,' local pickup only in FL and not particularly cheap:
http://www.ebay.com/itm/ws/eBayISAPI...E:B:SS:US:1123
One is that nice salmon color, evidently owned by an enthusiast:
http://www.ebay.com/itm/ws/eBayISAPI...E:B:SS:US:1123
One is an '89, cheap starting price, and may need work:
http://www.ebay.com/itm/ws/eBayISAPI...E:B:SS:US:1123
Good luck!