Are these ddr3 models going to be available in the u.s. anytime soon?