IMHO, you best option is #1. Trade in the old 4700 since you can obviously live with 2 STBs. There is nothing particularly "antiquated" about the 6000; in fact, it is now shipping as the "6000u" w/the 8PSK module included. As you say, you can get the 2nd dish installed for free so this option will get you the most bang...and sat provided HD content...for the buck.
Of course, you can "backfeed" the PVR to or from the bedroom. You will probably prefer the upconverted SD PQ from the 6000 to the normal SD PQ from the PVR on your plasma display.
Of course, you can "backfeed" the PVR to or from the bedroom. You will probably prefer the upconverted SD PQ from the 6000 to the normal SD PQ from the PVR on your plasma display.