OK all, thanks a lot.
Now I know not to be searching for different bluray versions or anything. And I’ll hold off any fan edits 😃.

About clones wars, I’ve seen all those (many years ago now). I liked them in general (though I personally get annoyed with the overdose of ‘rah rah’ military stuff). But it’s what, 6-7 seasons I think. Might be better that I don’t introduce it to him, he’s hard to pull away from this stuff and it will occupy his whole summer probably with watching this all day 😃.
He has watched all of Rebels with me so far (season 1 binge, but season 2 as each episode came out weekly, which is better for him, I think).
So I’ll think about the clone wars stuff, but maybe not till later.

Thanks again everyone.