You guys really don't get it at all.
Sellers usually set their listing prices to a extremely high amount when they're current out of stock so that no one will buy the product. They will change it back down when the products listed are in stock again.
Well, the same seller has the same kit listed twice for $1.2k or so, and then for $9.5k. Somebody is not getting it, indeed.
The two kits you listed come with probably some third party remote instead of the 580EX II. The sell the EX600 for 500$. A quick search on their listings (Cannon + flash) also has a 9k T2is:
Seems like all the kits that are outrageously priced have a 580EX II.