Greetings from China! The 13.5mhz VCXO is finally found. I bought customized VCXO from Taobao (a Chinese version of Amazon), and it worked! Besides of different size, it syncs perfectly and I’m glad to say that the cadet is back to life again (don’t know if you guys have found other solutions xd)
Video, size, and Taobao link are included in the topic, love from China.
P.S. Video from Kelvin Wang thx for the testing works
P.P.S. Why can’t i upload videos ahhhhhhhhhh