I would like to change my system manufacturer and model settings for a Tyan S3992 server that currently comes up as unknown in ESX 3.5 U3. Where can I set this? BIOS? VMware config file?