They might have, you never know. I /do/ know that Whitehouse has some type of electronic sirens, but I can't figure out which brand. Imagine a EOWS 1212 arrangement, but with rectangular speaker housings. Could be an ATI, but I dunno.
Attached is a photo I just took of a WPS-Series siren in Kilgore, TX, right next to the fire and police stations. I was on a delivery run, so I couldn't exactly stop for long.