It seems that the machines all run a bit hotter under Ubuntu than OSX.