The camera quality was so bad on that video that I couldn’t tell what alarms were in the video.
Going by the one that’s just barely visible at the start it seems like they’re an AC version of the Simplex 2901-9833. Unusual how the TrueAlerts near the end sound like they’re on pulse too (or that they are when they would have been more likely to have been pulsed to temporal 3 instead).
I believe the AC version of the 9833 is a 2901–9500 something (OEM was Faraday; model is 6010?)