Scott, I believe when the link comes up again, you will find that those are both 240V EDs.
Even if they were 512Kes, they would necessarily have to be imports, as it wouldn't make sense for Apple to sell 120V products in a country that supplies double the voltage over standard outlets. And...