Actually the current tuner is an off-the-shelf module from Philips

Aha! Which one? Do you know the Philips Part No.?

_________________________
One of the few remaining Mk1 owners... #00015