For all we know, they used overspecced RAM because it was what was available in the quantities needed, or they got a good price from the supplier - which is something that has specifically happened with hardware I’ve worked on before. Again, we don’t actually know the specific pricing details. Higher speed does not inherently mean higher cost.