Yeah I know the one I linked was 64k and higher. Was in a hurry and didn't want to dig around. You can find many benchmarks for 4k randoms on the internet..that aren't 2MB/s..it's more like 15-20MB/s vs 35MB/s, depends on the controller, firmware, etc.
The 20MB/s I found were the Vertex EX. Not the regular Vertex. The price is significantly higher.
Loa