Christian:
I wanted to make you aware of this solution (see the video and associated web page):
http://www.policypak.com/products/manage-vmware-workstation-using-group-policy-policypak.html
We can control (and lock down) almost all the "Options" settings within VMware Workstation for deployments just like yours.
If you'd like to try it out, we're here for you.
-Jeremy Moskowitz