[wa2ise]

In theory, the old push buttons could be used to select the desired TV channel. Though you'd need to modify or build a special tuner to do this, especially as the buttons are in clusters of 6 widely separated.