Pure luck we walked into DID Electrical and there they were - not too expensive either and easy to reprogram.
The problem may be that no code can be found, i.e. the TV is around 10 years old and I doubt they still have the manual. It's a Nokia-few and far between around nowadays I imagine.