I think the 4050s that you saw in that building were Faraday 5410s. They have the same look as a 4050, but they may have been overstock 4050s, or if there was an old building, it could be a componet teaken from the old building. Oh, and I went to an Arby’s, and there fire alarm system is whiffle balls, 2903-9101/9833s, and 4251-20s. And it was built in 1998!