Hi, I guess ..what is the question?  I personally have better results in my circuits with ECC types unless there is a ruggedized  version of it.  The rugged / industrial one can be better.  For example I use a lot of ECC803 types but in a few of the designs the 7025s are a bit quieter and more consistent.  So from your choices I would likely use either the ECC88 or 6922.  

What you didn't ask is if all the tubes from all manufacturers are equal.  The short answer is they will work but not all are going to give you the same sonic performance. If you can find someone with the same unit it would worth asking what if anything they tried and what they liked (and why naturally).