Thanks, that's a huge help. We're gonna go for a miniDV one, I reckon, cos he can still play it back straight away with the camera if he wants to, I've checked out PCI cards for firewire ports, and your price was right (£13 or so over here), and it gives him more scope for editing stuff.
You also seem to get more camera for your money that way, because you're not paying for DVD stuff etc...
Cheers! x