Atualizando a "história": seguindo os bons conselhos de vocês (novamente, obrigado!), fui às lojas de eletrônica com a fonte em mãos; em uma delas, o técnico me sugeriu trocar aquela "caixinha externa de plástico" por uma nova, transferindo o interior e aproveitando os pinos da mais nova. Ficaria em R$ 5,00 reais, a peça e o serviço. Achei barato e topei.
Mas quando voltei na loja depois... ele simplesmente tinha colado o pino quebrado no lugar, hahaha. Disse que achou mais fácil e nem me cobrou nada, nem o serviço. Como foi de graça e ele foi bastante simpático, fiquei sem graça de reclamar, peguei e fui embora... mas confesso que estou ligeiramente grilado.
Parece que ficou bem firme e bem coladinho, conforme fotos abaixo. Mas isso pode dar problema? É um equipamento que costuma ficar ligado continuamente, pouquíssimas vezes eu retirei da tomada.
Novamente, muito obrigado!!