I'm reading conflicting reports, but let's stipulate that; I don't think it makes any difference to the point I'm making. The better, clearer example is Lebanon, which hosts the crown jewel of the IRGC's proxy forces, and which doesn't have even a pretense of modern anti-aircraft defense. What would the point be? These are territories and militaries without meaningful air forces; they have already defaulted away air superiority. Their strategy is for that not to matter.