Can the MP3 audio from a .EXE or .SWF flash file be extracted?

[Chainmax]

I'm going to capture some freeware flash animations and make standalone-compatible DivX files from them and was wondering if there was any way to extract the MP3 audio from them or if I was going to have to record the audio as WAV and then re-encode it to MP3.

[foxyshadis]

From swf, definitely - I send them to a friend who uses Sothink SWF Decompiler (http://www.sothink.com), maybe it'll work on exe as well. Sort of pricey, though.

[Chainmax]

That software sounds very interesting and its description says it can do both .SWF and .EXE, plus it has a trial version. Thanks for the link :) http://smilies.vidahost.com/otn/wink/thumb.gif.
Do you think it would do a better job than Camtasia recorder at making an AVI out of the animation?