Alle specificaties die je gaat vinden is een 5-cijferig nummer op het ding zelf, waar je met wat moeite een 12 cijferig nummer uit kunt knutselen. In de documentatie staat nog een ander 12 cijferig nummer. Zolang een van die nummers overeenkomt (de eerste 4 of 11 cijfers van het nummer op de trafo, alle 12 cijfers van het nummer in de documentatie) heb je dezelfde spoel of trafo te pakken. Die zal alleen in VR20xx modellen zitten en is custom made met onderdelen uit de toenmalige spoelencatalogus van Philips.
De handigste manier om onderdelen voor dergelijke apparaten op voorraad te houden, is in de vorm van sloopapparaten. Verder kun je de defecte spoel proberen te herwikkelen.
Lijkt me overigens een vrij zeldzaam defect, en als je de voeding goed gerepareerd hebt, zal het wel weer 40 jaar duren voor hij stukgaat.