My wife wants a wireless, optical, wheel mouse for her Linux computer. Does anyone have experience getting one to work with Linux? Ed