il codice parrebbe corretto, considera però che se c'è un intoppo nell'animazione o altro, questo potrebbe far sì che l'intervallo non si interrompa e continui a macinare in background, rendendo perfettamente inutile lo stop() successivo
l'intervallo va controllato perfettamente per evitare intoppi, tra l'altro il setInterval, così come il "novello" setTimeout, soffrono di una certa imprecisione, per cui i tuoi 4 secondi non saranno mai reali

per saperne di più sulla gestione del tempo in flash, ti rimando alla lettura di questo articolo
http://flash.html.it/articoli/leggi/...empo-in-flash/