Thanks again. For posterity I'm going to post some more information in this thread. After using WinRAR to extract the .ova files (they're tarballs) I was able to convert the .vmdk files to .vhd files ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback