If you often receive AVI files with similar naming, create a small batch script (Windows) or shell script (macOS/Linux) that:
WhatsApp us