I'm pretty sure that #3 is/was repaired using the

I'm pretty sure that #3 is/was repaired using the more reliable condensers. They used spare parts. As for #1 and #2....no idea. They are inferior processors so why hurry to fix them if it costs $200,000?

#4 and #5 are being assembled offsite per the 10K.