Hola !
Fíjate atrás en el VCR el modelo del mismo. Éso ayudará a identificar el VCR, por ende la fuente de alimentación y así descubrir sus características.
VEK5831-1 es el código de la fuente propiamente dicha. Habría que partir buscando desde el modelo del VCR.
Después en la página que te marcó STK500,
www.eserviceinfo.com ,puede que encuentres el esquemático del VCR y ver sus características.
Si se te complica estamos por aquí.
Saludos.
Mario