[bandersen]

Yes, four tubes in the pushbutton tuner.

7AG7 + 7F8 for channels 2-6
6AK5 + 7F8 for channels 7-13

Split sound IF using six tubes!

6AU6 1st sound IF
6AU6 2nd sound IF
6AU6 3rd sound IF
7A6 discriminator
6AT6 1st AF
7B5 audio output