The pro versions will be much more expensive than the “a” models (like 9a, 8a, 7a, etc), if you can find an “a”-phone, it will be cheaper. I would get at least an 8a, since they have support until 2030 or something like that, the 7a has support until 2027. The 6a is the oldest one which still has support, but only for a year or so more iirc.
Ah! I didn’t know they didn’t sell there, that changes things.