Por fin pude ir a mirar los valores de la fuente (no era para mi la fuente) y sólo con ver el valor que me dan 2 polímetros me quedé asustado:
Canal 12V:
Bios -> 12.6V
polímetro -> 12.9V
Y la fuente anterior que estaba ahí, con unos cuantos años a sus espaldas y genérica:
polímetro ->12.5 V
De aquí a la tienda con el ticket.
EDITO: Me han cambiado la fuente por otra. A probarla toca