Topside Minis has announced a new set of Coral Sea markers, including every unit that participated in the battle:
http://www.tabletopgamingnews.com/2012/11/06/66419/While these are only 2D chits instead of models, they are a VERY economical way to get everything needed to re-fight the battle.
