Not bad but you forgot one thing.
In addition to what you said about this: It is of the utmost importance to make sure that the bitrate that your mp3s are encoded at match what your export publish settings are (the default of which are 16 kpbs mono, which sounds like poo). If they don't match and you export your flash, it will go wildly out of sync because it factors in the time it takes to re-encode the mp3s. Another way around this is to click 'override sound settings' which will override the re-encoding (or should at least).