9 min is absolutely still good (which is why it is still optionally on the OP), but I feel like 10 min is just a bit better. The biggest difference I've seen is that they don't go into "4-vert mode" nearly as early when down by 1-2 scores. Definitely worth trying out to see what you prefer.