At least this looks like a better solution than their previous "move to
an obsolete mouse  driver" solution.

I've been using a little program called VBScroll. It's easy to install and
works well, but needs to run in the background. This MS link might provide
a tidier solution.