^ those are brand specific, so it's not exactly an
unbiased resource.
but seriously, yeah, that's a gigantic list of tubes. kinda cool, though... makes you realize how many tubes COULD be utilized, and how few actually make it into production amplifiers.