kkkcok6K4 tubes are basically ‘generic’ GE5654 tubes, did the description say that they’re including the OEM GE tubes? Either way, it’s the GE 5654W tubes that you really want as they’re military grade, originally designed for and used on military radar systems, and sound exponentially better!