Our first VCR in 1979 was about that size. Top loading and all. To tune channels above the standard 2-13 you had to adjust little potentiometer wheels with a jeweler's screwdriver.