Better atmosphere, temperature, and water in the above run could add another 1k, so it seems that the maximum is at least 13k, though I suspect it is higher.