no they have not. The reason PAF pursued the MICA option was because nobody else other than Denel/Kentron had any offerings, and due to france supplying the radar set via the RDY-4, the Mica was the option to go for.
FAAZ is purely a learning exercise- its clear its a SD-10 built at home. Same specifications, same dimensions, same control surface configuration, we dont know whats internally different but im sure theres some tweaks- on the FAAZ-IR it is nothing more than FAAZ EM with an IIR seeker, why, because the easiest way of developing an IR guided missile is to take your already existing missile and change the seeker configuration/guidance. FAAZ is an exercise- FAAZ 2 will be the actual product if it goes anywhere. The PAF never has, nor will it ever seek out the soviet doctrine of launching multiple types missiles at a single target to complicate countermeasures, because its cheaper to just launch two better missiles than 3/4 not as great ones. The PAF has always trained with NATO, trained BY NATO and always deployed NATO tactics and means of operation, thats not going to change. There is no benefit to this means of doing things.
Your doctrine and training and equipment is chinease based now
You train with china turkey and Arabs
Have you trained with USA french Germany or RAF lately..
I can't recall