o1-mini is even higher in coding benchmarks than o1-preview. That has been my experience also.