I've had an intermittent problem for a while, where for no reason I can deduce, my keyboard volume and mute keys stop working. Logging out will not fix the problem, but a restart will.<BR><BR>This ...