I tried installing that driver but it seems I have a later version already.
I think windows installed this version for me which is different than what I had before. I no longer have the rusb3xhc.sys driver but rather the USBXHCI.SYS driver.
Shall I go ahead and retry the driver verifier tool to see if I BSOD again?