Getting VMware to run on RedHat Enterprise 6.3

After installing VMware 7.1.6, the vmmon module will not load. I found a solution that works.
If this has not been done already:

sudo yum install gcc kernel-devel kernel-headers autoconf

Then, as root, run:

# vmware-modconfig --console --install-all

Now you should be able to start the vmware service