Do you use X3D for the animation? That will do an AVI export. But it on a green or blue background and we can make your globe rotate anywhere...

Or you could export each frame as a .png with a transparent 740X480 background, then import em into a video editor program and construct a very clean version there.

If you need help, hollar...