I'm not a 3D Arsneal user so I don't know what codec/format your vids are in.
Do you have the TechSmith codec? Not sure if that is the one that is used or not. Or is it a Quicktime? No 64bit version of that but I have it installed as a 32bit application on Vista and it works fine. Perhaps the same could be said of Windows 7.