also, anyone using o3-mini? 😂