As some of you may know, Christmas is coming. I have decided to treat my two teenage sons to wireless gaming mice and have narrowed down to either the Razer Mamba or the Orochi. Any help on the final decision? Gaming is primarily done under Windows, btw.