Well, I think I'm going to go with option 2, as I'm not really liking what I hear about IR repeaters (not to mention the cost!) So I need a dirt cheap receiver (~$100 or less) that actually functions. Any recommendations?

I am the Doctor, and THIS... is my SPOON!