Just try it.
If your bootloader is already unlocked, the batch file will install xiaomi.eu ROM.
If it's locked, the batch will either show an error instantly or just close. It shouldn't be able to break anything afaik.
If it's locked, you will have to wait, there's no workaround. (Actually...