hey there james, i'm relatively new to these forums, joined recently after i sold a couple of ECC33s to rosgr63 over at diyaudio.com. i have a LOT of ECC88s and E88CCs for sale, a lot of them are NOS. am actually indexing and testing them at the moment. selling because i really need the cash (i think i'm going to be selling most of my tube collection except for the "guitar" tubes). let me know if there are any specific brands you're on the lookout for.
one thing: i live in india, so please consider that postage may be a bit expensive - the ECC33s were about €15 to greece.
will tell you which tubes i have once i'm done with them, if you're still on the lookout. cheers.