Thank you for your reply,
I tried a few settings AVI, MOV, MV2, DIVX but nothing seems to work.
That said, MPEG2 or MPEG2-DVD will likely work, and at SD resolution should produce a good quality video under 1GB for 15 minutes. H.264 can produce smaller files, but might not be compatible with your equipment.
I will try this setting and otherwise look for the player they use and look up what files it can play.
Maarten