Erik,
I was hitting the verify button, without the Digispark connected to the computer. I installed it from the InstallDriver.exe file the first time, but when it installed it looked like it had installed the 32bit driver. After I ran it and got the error, I tried installing dpinst64, but got the same error.
I installed the Digispark driver on my netbook running Windows 7 starter, and it worked just fine. But that computer is unreliable and I am planning on getting rid of it soon.
I\'ll download the Arduino IDE this weekend and let you know if it works.
Thanks