I found my channel changing problem--I had a preset channel, which the help text says is for an external tuner, which is apparently completely different from an external cable box. Removing that setting was all I needed to get it working again.