I've decided to go with a Seagate Barracuda 7200rpm drive.
As for the TV tuner, my TV (the Panasonic TX-P50G30B) supports recording to an external USB hard drive, which I already have, allowing me to record, pause and rewind live DVB-T2 tv, so I don't really think a seperate tuner is necessary...