Cool adventure, fun video. Look at it this way, you did better than you likely would have spending the money on lotto or a casino visit.
A pair of 12AX7 CBS labeled, could be RCA, Sylvania or GE. CBS owned Fender and bought tubes from these companies. G.E. used a very distinctive etching font so they are easy to spot. The value of working tubes from these manufactures is about $25 each and more for some specific versions.
Usable in some guitar amps:
6AU6 single triode, basically half of a 12AX7, used for tremolo & reverb in some vintage amps.
12BH7 very similar to and interchangeable with a 12AU7. I like these in a tube boost pedal I built called the Valvecaster. Fun easy DIY project. Google it for assembly instructions.
Look for that "AX1B". That might be a 12AX7A with worn print. I don't think AX1B is a valid number. Also check out the "made in Holland" better. That would be an Amperex made tube. Many of the tube companies were brand labeling for each other towards the end of the tube heyday. Amperex ECC83 (12AX7) tubes are awesome. It would be great if it's that.
6X4 rectifier tube used in some small vintage tube amps.
All in all I would say you broke even but may have done well if the "AX1B" is really a 12AX7A and have done great if the made in Holland tube is a ECC83/12AX7.
We have a local indoor flea market that has probably 20 old tube radios, many are well under $50. I spent about an hour pulling tubes to see what they were and what they may be worth but left without buyign anything. There was no wifi int he place and I got tired if waiting 2 minutes for each page to load. There were a number of tubes that were were $20 or more.