Yeah. I've found out that you can start out with o3-mini-high and then switch over to o1-pro, or the other way around. Helps to iterate a bit faster.