I have swapped back to try it a couple of times, and can tell you that the developers swap many times a day. The drivers are called completely different things and show up completely different in Device Manager. That's one of the ways that you can see which driver is installed. This video shows exactly step by step how to swap back. https://www.youtube.com/watch?v=J7nsXEUQ1_8