I swear I remember seeing this in theaters as a kid in the 1980's. Was this re-released at that time?