Realplayer To Avi Or Mpeg

[AznHaxEr]

I Was wondering is there a way to convert realplayer videos to avi or mpeg

[Prizm]

You can use RmTools to convert RealPlayer to AVI. However, the
output is uncompressed AVI, which makes the file extremely big.

RmTools doesn't seem to work with *every* RealPlayer file though.

Use VirtualDub to convert the AVI to DivX or whatever codec you
wish.

Prizm