The old TV was a CRT device, so I'm sure that any repair would be both expensive and ultimately futile.
The new TV (which most certainly will NOT be a Philips!) might have a SCART input, but not 2. In any case, the existing SCART leads wouldn't reach it. Hence I will need 2 SCART-to-HDMI converters for the 2 HDMI inputs, not a SCART to phono converter.
So, as I asked originally, has anyone any experience of SCART-to-HDMI converters?