On Wed, 26 Nov 2008 14:23:11 -0600
Rex Dieter <rdieter(a)math.unl.edu> wrote:
Unfortunately, I don't know how to fix it. Do you?
Yes: go back to the old dvd drivers which were apparently
changed for no reason, because they didn't have this bug,
and if the change fixed some other problem it was a
much rarer and hard to encounter one, so we are better
off with the old bug than the new one :-).