> I've used the IEVMs project on github to install these VMs before; it failed. I'm trying it again as we speak, maybe it's a viable solution, maybe not.

The official ones work. I'm actually installing the IE7 version as we speak, IE8 and IE9 are running fine in VirtualBox.