Thanks to excellent work from Tim, there is now a patch available to get VMware WS 9.01 to compile with kernel 3.8-rc4.

See his comment to my original article for details..

http://wp.me/p2hgFw-9H

I have applied the patch, and it fixes the problem..

Robert Gadsdon.  January 23rd 2013.