Não sei se uma solução de software será ideal (ou possível) aqui.
Você é avesso a trazer seu próprio mouse para o trabalho? Muitos mouses de estilo de jogo têm seletores de DPI de hardware, o que permite que você mude rapidamente de, digamos, 200 DPI (lento em termos lentos) para 2000+ DPI (seu cursor agora está em chamas ).
Algo como o mouse Dell J660d pode ser adquirido por cerca de US $ 10
e tem a troca de hardware necessária do DPI:
Adjustable DPI: 400, 800, 1200 or 1600 DPI with a Click of the Mouse.