I've used VMWare for a while now, and it is indeed very fast. I've just started using Vagrant (thanks for creating it!) and love it, despite the slowness of Virtual Box. Good luck with VMWare support, I'm looking forward to that.