Ah, I see what you mean. You are correct, this does sound like a bug then.
As a workaround, what about marking that channel on other tuners as a favorite, to prioritize the other tuner for that channel.
Also, are both tuners sharing the same guide/lineup? I wonder if they had different guides, would Channels then honor the disabled flag for the higher priority tuner?