[benign]

I have an AVI that will play with sound
using VLC but I cannot find any tool that
will extract the sound out of it.

DIVX_tool 2b7 says the AVI file does not
have a MP3 formatted audio track and it
cannot edit the headers or change the four
CC.

I've tried avimp3 and aviray but they cannot
do any better either.

I will use AudioHi-jack but is there an easy
way ?

[Uncle Skeleton]

it's probably not really an AVI. VLC doesn't care what the name is, and can play most other formats. The other tools you mentioned probably assume AVI since that's all they can handle anyway. See here to find out what the file really is:

http://nsorscher.home.comcast.net/movieFAQ