The Monkey King claims that ETC has retired its vanilla J-20 (AL-31) and sent them to WTC.
But AL-31 powered means only the 9th AB sind all other ETC units fly later WS-10C powered ones.
However, more important would be to know which WTC Unit got them?