AVI files are just a container -- various different codecs could be inside. What Karsten said is correct: sometimes non-video people use it to mean "video file".
For a public performance, I would not give them *only* an AVI file (real or renamed). Along with the requested AVI, I'd give them H264 MP4 files at 720p and 1080p using the default FCPX Master File>Computer>H264 output. Some old computers will handle 720 better than 1080.
IF they demand actual AVI, you could export ProRes, get the free version of Resolve, and export one of the various AVI codecs it supports. Plus give them MP4 at 720 and 1080.
I've seen many playback failures due to situations like this. The equipment is often old or of unknown configuration. More recently it happens if giving them 4k "because it's better", then the playback system can't handle it or stutters. Lots of older projectors can't even do 1080, or are 4:3 aspect ratio.
Audio is another issue, esp if using a separate audio chain to the PA with video driving modern large-screen TVs. The TVs often have video processing enabled which can introduce lip sync issues.
If it's a hand-off situation, you can only give them several formats, some advice and hope for the best. If it's an important showing where you'll be present, the best solution is get access to the venue early and personally test the equipment, also if possible bring back-up laptop and various cables and adapters.
My doc team finally gave up on venue assurances their equipment is fine - we take our own PA, projector, computers and screen.