I just got a new directv system this month with 2 HD receivers and a standard receiver. I'd like to set up the standard receiver with my old philips tivo1 box but there is no selection for a directv cable/satellite box. I know Directv used to have tivo boxes built in but not right now. Is there another selection I can use to get the IR emitter to change the channels and to get the correct lineup? I've got lifetime on my tivo and would like to have a DVR in that room.