[Richard_FM]

Thanks again for the advice, I'll have another look when I can, but normally I'm a bit too busy mid week to do much.

Philips managed to make a lot of different models for the TX family (& in lots of their factories too!), & occasionally I still find pictures online of ones I didn't know existed.