....since hardware v9 is a feature of vSphere 5 there should not be an issue with Vms that were upgraded running on 5.0
Hardware ver. 9 is an ESXi 5.1 feature only....So he can't have those running on ESXi 5.0. vConverter can be used for downgrading, though...
/Rubeck