Perhaps it's something that I've not noticed before, but in WMT the crawl rate settings now say:
Let Google optimize for my site (recommended)
Limit Google's maximum crawl rate
I'm fairly sure that this setting didn't use to be a "limit". Am I correct in thinking that I'll get faster crawling by picking the 1st option?
I've currently got it set to a crawl rate of 10/sec, as the server can easily handle this rate.