Nah, if you have access to the raid, then Mike is no longer relevant. Let me check the triggers for the fight again
EDIT: I think I found the bug!!! New version will be compiled soon. But you can post a save-game at the Discord and maybe I could fix the save-game there too.