Got the video sorted out - it's QuickTime, but it doesn't work well streaming with my connection either, so I downloaded it, which took a few miutes though. Good fun, and a memento of a day which was fun, and I hope useful.