purtroppo nel periodo "antico " a seconda del costruttore valvole molto molto simili venivano etichettate in modo diverso a seconda appunto della destinazione
7025,12aX7 o ecc 83 hanno prestazioni molto molto simili e in assenza della scritta sopra le potresti identificare solo per MICROSCOPICHE variazioni su delle curve di lavoro. E lo dico perchè di ampli ne ho già riparato un tir! A volte addirittura le tolleranze tra varie valvole dello stesso lotto e della stessa sigla coprono le tolleranze tra modelli.
E JJ di tolleranze ne è molto dotata.
In un ampli da jukebox o da chitarra la sostituzione DIRETTA è fattibile con la 12AX7,ma le differenze con per esempio la ECC83 porterebbero delle variazioni così microscopiche che magari a 100 metri dal tuo jukebox messo nel bar il suono arriva magari 10 cm in più o in meno
Guarda questa pagina,come sostituto DIRETTO danno la 12AX7 (prima indicata) e dentro i parametri la ECC83)
https://www.radiomuseum.org/tubes/tube_7025.html
Comunque fai una ricerca come Electro harmonix o sovtek ,hanno di tutto e di più