...and my whole point was that Air Asia is a cut above the average Indonesian carrier, some of which are seriously shoddy, like the late, unlamented https://en.wikipedia.org/wiki/Adam_Air. By contrast, Air Asia's maintenance is done by a subsidiary of Air France/KLM: