So, would this be an accurate breakdown of what mixes are available on what laserdiscs? (All listed below are NOT time compressed)

Star Wars
1977 Theatrical Stereo:
- 1130-84

1985 Stereo Remix:
- 1130-85

1993 Stereo Remix:
- 0693-84 (Definitive Collection)
- 8763-85 ("Faces")

ESB 1980 Theatrical Stereo:
- 1425-84

ESB 1985 Stereo Remix:
- 1425-85

ESB 1993 Stereo Remix:
- 0693-84 (Definitive Collection)
- 8764-85 ("Faces")

ROTJ 1983 Theatrical Stereo (Possibly?)
- 1478-80

ROTJ 1985 Stereo Remix (Possibly?)
- 1478-85

ROTJ 1993 Stereo Remix
- 0693-84 (Definitive Collection)
- 8765-85 ("Faces")

Is this an accurate list?