Necroupdate and slightly off topic, but thought maybe someone still subscribed to this thread may be interested…
Just released a fan restoration project; used the 1080i HDTV source provided by ShaneLSD (THANKS A LOT!); regraded using DVD as color reference (hence now no more magenta blanket) and slapped a 35mm film grain plate over it, slowed down to proper 23.976fps, got the usual five audio and subs languages tracks, plus the restored soundtrack, all as a BD-25 - indeed, around 12GB, as it’s very soft, and 16mbps average video bitrate retain all the details and grain.
Have fun!