Ecco, rileggendo mi sa che la confusione sta li.
Il flash come ide è alla versione 8, e nella primavera prossima uscirà la versione 9 oppure un importante updater per la 8 (con quindi gli strumenti per produrre in as 3)
Il flash player, invece, è alla versione 8 stabile e 8.5 beta, che si installa con il flex e in pratica serve solo per i filmati creati dal flex stesso, e può darsi che si abbia la 8.6, 8.7 eccetera fino a quando uscirà il nuovo flash ide, al che probabilmente uscirà anche il flash player 9.