Mitschnitte kann man i.d.R. ganz einfach per Mail oder Onlineformular bestellen. Hier ist die Übersichtsseite: [www.ard.de]

Man braucht dazu nur den Titel, das Sendedatum und den ARD-Sender, von dem der Film damals kam. Aber genau Letzteres könnte schwierig werden, da das aus der oben verlinkten Seite leider nicht hervorgeht. Wie Du schon schreibst, ist es allerdings nicht ganz billig. Mit ca. 40-60 Euro wird man wohl rechnen müssen. Da ist Deine Variante natürlich deutlich günstiger ;)

Ich habe den Film damals auch gesehen und kann mich noch vage daran erinnern. Habe ihn als sehr schönen Film in Erinnerung. Soweit ich mich erinnere lief er wohl spät abends oder nachts, da mein Vater ihn damals aufgezeichnet hat und wir ihn uns am nächsten Tag angesehen haben. Und bis mein Vater das Band wieder für eine andere Aufnahme verwendete und den Film damit löschte, habe ich ihn mir damals auch noch 1-2 mal angesehen.