One of the other comments on that page claims the print was later recovered in the home of the thief, a former employee.
A 70mm print wouldn't have done anyone much good back then. Telecine facilities capable of transferring the larger format didn't exist until the early 1990's. Swiping a 35mm print makes more sense from a logistical standpoint.