How much are these tubes worth?

I recently acquired an HP Standing Wave Indicator and they had 2 tubes, but the prices vary from $16 to $130 from the sites I looked at. They are 2 ECC83/12AX7 with labels saying "Made in Western Germany" and "TELEFUNKEN". Any idea of how much these are worth would be much appreciated.