Yeah, both of those 2 tubes are labeled horz osc on the RCA service manual I'm looking at. RCA was into some unusual design practice at this period of time. A lot of it came and gone so fast it never got much coverage in TV servicing texts. I'm still trying to wrap my head around how the width pot in this circuit works. So far it's making my brain hurt.
