avi format please.

Any chance of getting them in something that non-Windows systems can play?

If anyone can convert them, please do so. I will host the converted movie here.

Argh. I came here to ask for these in a different format. If anyone out there happens to be waiting to convert them because there is not enough demand, now there is more! ... meh. Oh well.