I hope prices on high-performance ARM hardware can come down a bit. Currently there's nothing between Chromebooks and $3000+ servers. On the other hand, if I were in the market for a high-end server, it looks pretty competitive vs. Xeon or Epyc. Any good benchmarks out there?