Sent my original to Dr. Don in Huntsville, TX. came back looking new, working and price was very reasonable. If your restoring, give him a look up on internet.
Rather than getting mine repaired and having it fail again within 2-3 years I decided to buy a brand new reproduction radio from Antique Radios for $549. Their radios are brand new and use the latest solid state technology so when they do eventually fail they'll be extremely easy and cheap to repair.
Out of curiosity how much did you have to pay to get yours repaired? Around $150 to $160 plus the shipping costs?