If the video has the .divx file extension, you could use
BuddyAPI to check to see if there is an app associated with .divx
files. If it's an AVI then I'm not sure. I'd guess that there's
probably a way to check what video codecs a user has, might take
some googling though.