Good problem is solved, until the next appears... Meanwhile, how about a dual boot? Always worked very nicely for me in the past.