We have antennas on the roof of our building. One “active miniwhip” for HF and one “offset dipole” for VHF. These are connected to cheap USB DVB-T receivers and a server in the roof plantroom, which then downlinks to the lab over gigabit ethernet.
Ask Rob Gordon for more information.
There is an RTL-SDR which can be used with SDR#. Hostname: sdr.hacklab
There is an SDR Play RSP1A which can be used with sdrplay. Hostname: sdrplay.hacklab