Seems a fair price.
The tubes seem "well used" (silvered) and some not nicely stored.
Remember that these were an easily replaceable item at the time and were often over-driven in equipment to get more brightness.
I have 6 of these in a clock that is direct-drive and has been running 24/7 since about 2001.
The tubes were used when I had them and they still look better than these on ebay!
These are specified as "ultra long life" - about 200,000 hours - over 20 years.