Well done!
Remember, V31 and V32 contain the same OS for the Mk4 (4-1/100)
So it doesn't matter which you use.
But remember also that the Mk4 only reflashes when the new OS is DIFFERENT to the existing loaded OS.

Remember to stay within the boundaries of splash screen size (in bytes) and format (in colour depth) to prevent OS corruption