Indeed. For a number of years the music is what kept the dvd of the Happy Days series from being released. Finally, replacement music was put in (much like the initial WKRP in Cincinnati dvds, until shout factory got the licensing for most of the original songs worked out, which is what really helped to make the show).
R๐