Years ago, I had this cheap $10 "gaming" mouse I bought maybe on ebay or dealextreme. It was perfect: shaped well, no weird, sticky texture. I lost it (maybe left at a friends house) and never saw it again. Tried to buy one online, but I think the model was discontinued. I'd like to get a good mouse for work: Does anyone have any mouse recommendations?