Had to download Windows SDK debugging tools (Orca) because @VMware haven't updated their documentation and install options have changed!