Anyone know for sure if the HP 9900 DVD/CD Burner will work under linux? The reviews don't mention that it _isn't_ supported, but it doesn't mention that it is either. Just wondered if anyone has tried it out.