Excellent shots Mike - just the way I remember it from nearly 30 years ago.
I must get back there with Jenny for a pilgrimage one day. The last time we visited a large-ish telescope was after a drive and walk up some hill called Palomar or something.
Cheers
Chris