I'd recommend Mythdora. It will handle four tuners just fine. In fact, I don't see any reason why you couldn't hook up 2 HDHomeRun's and have four HD tuners. It'd only cost $350 for the tuners and the software is free. Leaves the rest of your budget for hardware.