...
On my machine that's /usr/lib/virtualbox/sdk/bindings/glue/python/sample/vboxshell.pypy
See SDKRef.pdf, section 2.1.2, for a little more information.
Web service - exports nearly complete API. Can be used via Java, Python, or as raw web service. I don't think it's appropriate for us. We don't need the ability to control VMs remotely; I expect VM commands will be issued from the host.
...