He can't remove from synaptic if it is not showing that it is installed. You should be able to remove it through the terminal. Try 'sudo apt-get remove virtualbox-4.0.0' in the terminal. Hoping that is the right version to tupe in. It does not work. Try replacing '4.0.0' with just '4.0'.

~Sam