Re: [Speed] Should we change what benchmarks we have?