How fast is the internal SSD? Benchmarks range from around 2.7 GB/s up to nearly 20 GB/s. Which are right? Some new figures, in need of more measurements.