Hello Tom Bolts,
Welcome to the Microsoft Community.
We're glad to hear that you've already found a solution for your mouse scroll wheel issue! Thank you for sharing your research and solutions to the problem with our community. Your sharing may help other users who encounter the same problem. This makes our community better!
Thank you again for your support. If you need any help in the future, don't hesitate to contact us here in Microsoft Community. :-)
Best Regards,
William.Y | Microsoft Community Support Specialist