>I was wondering what VMWare server virtualization licenses were being used
>campus and whether these were purchased through the Dell channel, direct or
>from another source.

At the HPCC, we have three ESX servers and VirtualCenter. We've bought the
licenses through Dell and Sun/Dewpoint. When obtaining VI quotes, it's worth
verifying that you're getting academic pricing as it is usually
significantly less than commercial pricing (The VMWare part number usually
ends with -A for academic pricing.) 

-Andy