Is Oct. 25 the iPhone 3GS launch date?