I think they're already stockpiling for the international releases, hence the short supply of AT&T models in the US and the higher quantity of Verizon models. I could see them cutting down on the number of countries they are releasing in on the 25th. It could also be that the US market is not the end-all, be-all of the world.