if so, you may just need to get a coax to RCA converter from radio shack.
I don't think you can change channels through an RF modulator. I think the RCA cables can only carry one channel at a time, so he may need to use a cable box in conjunction with an IR blaster, if the coax input won't work.
A forum community dedicated to home theater owners and enthusiasts. Come join the discussion about home audio/video, TVs, projectors, screens, receivers, speakers, projects, DIY’s, product reviews, accessories, classifieds, and more!