Raccordement secteur d’une platine disque

Bonjour,

J'ai une vieille platine vinyle JVC que je souhaiterais remettre en service.
Je me demande comment l'alimenter sur le secteur (sans la flinguer, si possible). Je pense que le problème doit être assez simple pour quelqu'un qui s'y connaît en électricité, mais pour moi qui n'y connais rien, c'est très compliqué...

La platine n'a pas de "prise de courant" standard, mais plutôt un raccord prévu pour s'alimenter sur la platine disque de la chaîne, si j'ai bien compris (je n'ai pas le reste de la chaîne, juste la platine vinyle).

L'embout est mâle. J'ai l'impression qu'il n'est pas très standard : je mesure environ 7mm de diamètre extérieur, et 3mm de diamètre intérieur (le standard étant apparemment 5,5 x 2,1mm). 

Il est indiqué "DC 11~13V".
Je me dis que, pour commencer, il faut transformer le raccord mâle en raccord femelle, avec quelque chose comme ça :
https://www.amazon.fr/RUNCCI-YUN-Alimentation-Coupleur-Changeur-Adaptateur/dp/B089N353VB/

Et ensuite un bloc d'alimentation.

La notice de la platine indique :
"Alimentation : Entraînement en C.C. (11V – 13V) du radio cassette stéréo
Consommation : 40 – 100 mA à 13 V DC"

Mes questions : 

– Est-ce qu'une alimentation 12V convient ? (entre 11 et 13V) ou il faut obligatoirement 13V ? ou 11 ?

À ce que j'ai compris, l'intensité fournie par l'alimentation doit être égale à 100mA, ou supérieure.

– Apparemment, les alimentations standard ont la polarité – (moins) à l'extérieur, et la polarité + (plus) à l'intérieur. Sur la platine, c'est l'inverse : la polarité – est à l'intérieur, et la + à l'extérieur. Déjà, je ne suis pas trop sûr : l'alimentation et l'appareil doivent avoir la même polarité, le + au même endroit, et le – au même endroit ? (ou inversement : le + de l'un raccordé au – de l'autre ?) Donc dans la 1ère hypothèse, je suppose qu'il me faut un embout inverseur de polarité, du genre : 

https://www.amazon.fr/Adaptateur-Polarit%C3%A9-PChero-Convertisseur-Invers%C3%A9e/dp/B07TJW68TR

Donc en résumé, si je comprends bien, il me faudrait des adaptateurs à la fois pour la polarité et pour les dimensions, pour raccorder : 

mâle 7x3mm, polarité : – dedans + dehors

à : 

mâle 5,5x2,1, polarité : – dehors + dedans

Merci de vos lumières !