In my earlier post, that I mostly retracted with a strike through, I did exactly that. Added a zero to make it 2,000,000 and compiled a version that should work on a raspberry pi 4, 32 bit system and attached it for him.
I'm not sure if it is compatible though, so he should backup the original driver first..