Regnier Extreme Screen at Union Station

A brief article (link, probably temporary) in Boxoffice of May 1, 1971, concerns a theater then called the Astro which was located at the north end of the station’s waiting room. Prior to 1969, the house had been called the Circle Theatre. If the article is correct about the location, the theater was most likely in the space now occupied by the model train exhibit. Does anyone know anything about this lost theater?