I’ve owned my dad’s old Beogram RX since I absconded with it in 1997. It’s survived multiple trips across the country, and years of regular service, but one of the RCA plugs just crumbled. I’ve done some research and it seems the best solution is to replace the plugs. I found a supplier, but they sell plugs for a variety of cable diameters. Can anyone tell me which ones I need?