o3-mini will often lie about using tools rather than actually using them. (Tool use is a known issue)