Sigh. Further searching brought me to the discussion below. It appears that I'm not the first person to identify this issue, and @mike.maxwell has already indicated that the driver will not be changed. Sorry to have wasted everyone's time.
