Galaxy Nexus ADB drivers

I got this awesome phone (Galaxy Nexus I9250) some time ago, and I had been fighting with the drivers for ages... Approx an hour ago for some reason ADB on my laptop (Asus N53SN) lost connection to the phone. After reconnecting it Windows (7 Pro, x64) showed that device was not recognized.

After doing some googling I managed to get it working again. Seems that EU version of the phone has no drivers available directly from Samsung's site :(. While googling I came to this site: http://developer.android.com/sdk/oem-usb.html. Seems that one has to download drivers for US Verizon version of the phone. Link for the main page: http://www.samsung.com/us/support/owners/product/SCH-I515MSAVZW

After downloading the drivers, run the "Verizon_Wireless_I515_Galaxy_Nexus_USB_Driver_v1.4.6.0.exe" and let it install. After drivers have been installed connecting the phone to the computer should result in it (phone) being recognized correctly.

Yay, success. Hopefully this can help somebody that is facing the same problems.