You have a point, but PL15 has already beat the AIM120D or equal it.........PL15s are now rumored to be (in reality) 250km range missiles (depending on launch kinematics of course) and PAF already bagged the kill at 180km. AIM120D is (as per public info so far) 180km missile.
So yes you are right that PAF already has the 200km BVR combat tested and proven.
But getting PL17 pushes it further, no way Indians will make the same mistake again. they thought that flying 100km away from border they would be safe and they found out the hard way that when PL15 comes for you, no amount of SPECTRA or Israeli or Russian Jammers/EW is gonna save you......So if they get a whiff that PAF has PL17s, they would stay 300-400 km away, which in fact works in PAF and Pakistan's favor, because now all of a sudden, a lot of their Air launched munitions are useless since they don't have the 400km-500km range to strike inside Pakistan. They will be left using the longer range ALBM or ALCMs if any, which means Pakistan gets a longer time to track and react to them.
The size of PL17 as shown publicly means it is indeed a true ultra long range monster and that range you would want accurate target data which would be easier to glean off a large aircraft like AWACs or Air refuelers or the shitty SU30MKIs.
You can see the size of PL15 and it already flies 200-250km.......imagine how much range PL17 would have in reality.......