While on vacation my wife and I stopped at an antique/flea market in Panama City, FL. There was one display that had a lot of RCA tubes in the box. No 12ax7/12au7/6L6. I'm guessing they were TV tubes. I was just curious if any of them could have been used for instrument amps.