Thanks.
I’m still using a Marantz RC5000 (Philips Pronto) from 2000.
If I cared enough about it, I might be intrigued.
Chris
ETA: Stay safe from Florence.