When I went out for a meal last evening with old work friends, someone brought along his metal-cased version of the ATS Mini receiver. It comes with a wideband loop and whip antennas.
It really is tiny and there are several (inferior) rip-offs.
I think he got his via Banngood from China for about £35 with shipping. Apparently the audio from the jack is stereo FM!


