Two things to try;
1. VLC player (free)
2. K-lite codec pack (free)

If no luck, ask you girlfriend about the encoding used inside the avi-file. Maybe she can convert it to something you can view?

Kees