Should we load up a 64-bit OS for this machine? It will be SQL Server only. We want to have the best user experience so any help would be greatly appreciated.