They're SVETs, bluishly/purple/circle labeled.
About smaller tubes: I'm waiting for 6J1P from Russia, but delivery is REALLY slow. I ordered big and small same day, almost one month ago, and I just got the big ones (by the way, am I wrong or there are not many options on these?). Custom is really something... I experienced a 3 months delivery delay one time. Poor seller, I really gave him hard time cause I can't believe such delay.

With time I'll get MULLARD and RCA.
Now a small listening update (I left it burning all morning long): just put on a '68 MPS recording, a german label of F-A-N-A-T-I-C-S about recordings. It's Oscar Petersons's "Exclusively for my friends" boxset, 4 cd's of wonderfull jazz trio music.
Well, you DO NOT have idea, it's like I have this great players here in my room. I'm wondering if it's really time to retire the Pioneer player at this point, the Nad 542 appeal a lot to me, I renounce to Cambridge Audio 'cause I heard about mechanics affidability problems about them.