This is a bit picky, but important.

When you buy a film, the manufacturer has determined what its ISO speed is and that is what is on the box.

If you decide to set your meter to a different setting, that isn't an ISO setting, it is your Exposure Index ("EI").

You cannot change the film's ISO speed. You can modify the EI you choose to use.

I would change "Shot ISO" to "EI Used"