I will check with a very close friend of mine who is a retired astro physicist who was in charge of this telescope in Puerto Rico for many years. He retired to my area and we became good friends, getting together at least once a month.
He was also involved in the SETI project.
This probably has hit him pretty hard.
Take a good bottle of bourbon with you.