Even lighter note: I went and ordered that mini DV camera from Firebox in the end. It’s arrived and I’m quite impressed. For £130-odd it’s a good piece of kit, and amazingly dinky! Was having fun playing with video editing today….