Maybe the budget was planned out before RAM prices spiked. 128 gigs of used server RAM was not that expensive before that happened.