Würde ja stimmen, aber sie haben es von "Tor" in "Thor" geändert und nicht umgekehrt.
Sie haben’s einfach so gelassen, wie’s Hoffmannsthal seinerzeit geschieben hat. Außerdem ist das Hörspiel immerhin auch schon von 1946, da war die Schreibweise vielleicht noch üblicher.