iPad Mini Launch Event Coming Oct. 17