erri_wan said:
I take the theatrical cut is not available anywhere (?)
You're correct. The only version available on DVD/Blu-Ray is George Lucas' 2004 "Director's Cut," and the only version available on VHS and Laserdisc is the 1977 "Original" Cut. The 1971 Theatrical Cut has never been made available on home video in any format (to my knowledge).