An anamorphic GOUT would have been preferred but we're still talking a better master then they had.
Btw, I swapped the 720p image for one with a real avisynth filter sharpening. I think it looks a bit better (but there's some compression artifacts now (probably from the jpg compression)).