I thought about that, but didn't want to zoom very badly. Also, I was planning on replacing the mouse, but now may not be doing that for awhile.
Checking Logitech's site, though (hey, what do you know... you no longer have to accept permanent cookies, etc just to look at the web page), the jump in file size is not as bad as I was expecting, so I may try that tomorrow.
