They were the only customers of the Tomcat; bought about 80 of them in the 70s.
I just don’t believe that there is any way they are flying them without access to US spare parts.
No way.