> Does it take too much time to change channels? Yeah, I'm not saying > it's fast. The question is, "Do I care enough about it to plead with > developers to stop whatever they're working on and fix it for me?" Ok. Let's change the question a bit then. Best Dag