iPad mini: annuncio ufficiale il 17 ottobre?