I've wondered about the exact time of the collapse.
Apparently there is a seismic observatory only tens of meters away from the telescope dish. The station code is AOPR [0].
After retrieving the mseed data from the web API using curl, and installing obspy from pip, I could plot the events. This is the result: [1]. You can see two "events". One at Nov 30, 23:12 UTC, and a second, larger one at Dec 1st, 11:52 UTC. Upon closer inspection, the first event is actually multiple smaller ones, not sure if they are related to the collapse at all. The second event is clearly one discrete thing though. The image was uploaded to twitter at 11:56 UTC, so minutes within the collapse being recorded on the seismograph. You can still see the dust in the air.
Pretty cool that all this data is out there, in the open, just a curl request away.
[0]: https://www.fdsn.org/networks/detail/PR/
[1]: Note on some of the screenshots I've preprocessed the data with a lowpass filter st.filter("lowpass", freq=0.1, corners=2) to make it look nicer, while in others I haven't. I'm just an interested person, not doing this on a scientific level. https://imgur.com/a/FjrbWWa