I've actually posed the questions raised here on the Windows 10 Support Forum on Bleeping Computer.
Someone there will almost certainly know if there's a technique that could be employed to allow an end user to easily switch out a driver at will. I'll report back when I have some information.
Brian - Windows 10 Home, 64-Bit, Version 1809, Build 17763
A great deal of intelligence can be invested in ignorance when the need for illusion is deep.
~ Saul Bellow, To Jerusalem and Back