Thanks! Now that I've tried downloading it from the *site* I see that it opens automatically in Windows Media Player, so I don't think you need DivX. It does help if you have broadband, although I've been known to wait a few hours to see a video on my dial-up connection!
