Star Wars the Last Jedi - UK

[Timberflake1983]

I've seen a thread here for the US version but not UK. I've got two titles as follows, does anyone know which is correct?

Name: The Last Jedi (English)
Source file name: 00801.mpls
Duration: 2:31:51
Chapters count: 52
Size: 60.2 GB
Segment count: 2
Segment map: 16,18

File name: The Last Jedi_t00.mkv
Name: The Last Jedi (English)
Source file name: 00800.mpls
Duration: 2:31:51
Chapters count: 52
Size: 60.2 GB
Segment count: 2
Segment map: 7,18

[Woodstock]

The 00800 file is (usually!) English prompts and such, and 00801 is either Spanish or French for displayed text. That isn't 100% probability, but usually works for Star Wars.

[Timberflake1983]

Thanks! Will give that one a try!