Do you know when the 4070 will be available in the US?