Are there any cards out there that have DVB-T and hardware encoding ?? I want to get a PVR250 for it's hardware encoding but if I go down this route I will also need to get a DVB set top box and an IR sender to change channel ?? Or is there a better way of doing this ??