I saw that advertised when I was in San Jose last year. They were calling it Indiana Jones and The Raiders of the Lost Ark though.
up until last year i thought that that was the actual original name.
Lucasfilm has been slapping that name on it since the last major VHS release, (and numbering it in relation to the Young Indy stuff) so don’t feel bad.