Here you can see some serious output transistors. The 2500 uses 4 RCA 2N3055 output transistors. After 40 years these TO3 transistors should be carefully removed, cleaned and have new heat-sink compound with a new mica insulator added before they are reinstalled.
lucky these transistors are still available and only cost a few dollars each.