Graham
The cleaning stuff you are thinking of is Paste Polishing No.5. I have an original tube from my days on radio and line transmission in BT (Post Office). Excellent for cleaning plastic and bakelite finishes without scratching, and is available as
Bakelite Polish from Old Time Supplies -
http://www.oldtimesupplies.co.uk/ £5.50 for a 60g tube, and I also think it's sold under the name
Baykobrite. Certainly made a good job of my black 232.
Regards
Mike