ChatGPT o3-Pro gone from paid Pro accounts? (with 'legacy models' switched on)

I have a paid ChatGPT Pro account and was relying on o3-Pro to complete a project. I switched legacy models on. I still three o3, even 4.5, but o3-Pro is gone. Is this the case for everyone? Is GPT-5 Pro comparable or still clearly inferior in chain of reasoning and verification?