Pro isn't even a model. If they actually used a model name I'd think they were just into LLMs. Chatgpt pro is a specific paid service.