Well, I am not sure what a cheap 7210 is worth. Mine just lost it's M1-DA DVI/HDMI (digital) capability for some reason however all other inputs work, but I can't use them as I only have an HDMI cable ran to the PJ and my HTPC is DVI/HDMI. Have not yet decided what to do with it. It is a difficult time to have this go out on me as it seems PJs are in another transition period. Like the OP, I dabbled with the idea of getting a 3800 to hold me over but I really cannot stomach the number of issues people are having with it and need to send it back multiple times in the hopes to find one that will not fail or be problematic. Without any of these issues, it would be a no brainer for me at this point.
Anyway, if anyone wants to take the 7210 off my hands, then I'm sure I'll have to decide on something else. I'm not sure who has had any success with Projector Doctor, but up until now no response to my repair submission or inquiries.
For the OP, I'm also looking at getting the W6000 or the LG CF181D, but again, difficult to know if it will be a regret if something better/newer starts to become available. I guess it will always be that way, but man, didn't expect this PJ to fail like this at 500 hours.