or 3/4 the price (of 3.1 Pro) if we believe their benchmarks