No dobled, eso no tiene nada que ver. Probablemente salen atrasados porque los tendrás configurados como "stream" en lugar de "event".
En cuanto a lo de importar el sonido en flash, sí, debe ser .wav, el propio flash lo convierte en .mp3.
De todas formas, existen métodos para ejecutar un mp3.
Todo lo que se puede saber sobre sonido en flash está aquí:
http://kennybellew.com/tutorial/