The Humax has a USB port so you can get stuff off it onto a computer if you want to burn disks. The format is MPEG2, and a third-party utility to clean up any burps from the broadcast stream is sometimes useful. The Humax has two digital tuners, which means in practice you can record up to two channels at once, plus watch a third if it belongs to one of the same digital streams as a channel being recorded.
The 9200's getting a bit long in the tooth now, I'm surprised it hasn't been updated. An ethernet port would be nice. Some people have trouble with the USB port: getting data off the machine can be slow and erratic.
There are also devices such as Tvix which can take digital TV tuner add-ons, but I don't know if they specifically support the UK standard. The Tvix 4100/5100 is a nice piece of kit if you have any plans of investing in a media server.