Does anyone know of a bench-testing tool to compare the performance of windows server 2008 64 and 32 bit operating systems?