U.S. Theatrical release
on the IMDB trivia page, it says this went unreleased in the states, but I know it played in LA as I clipped out the "Starts Tomorrow" and the "Now Playing" ads from the LA Times back in the day. Might still have them in storage. I was a big Star Wars nerd and watched anything with the cast in them back then.
I even remember the tv commercials playing on KTLA and KCOP.