It’s posts like this that make me really miss Radio Astronomer!
Ed
Yep, him and Physicist. Really liked those guys.