One of the exSEALs was on security detail. The other was with a group of contractors elsewhere in Libya. He and his cohorts were a part of the rescuers. I have been waiting to find out if he and the rescuers were armed. They were in Libya destroying weapons.
Yes they were armed, but when the consulate staff called Tripoli in a panic during the attack, the best Tripoli could do was round up SEVEN private security contractors, one of which was killed as you mention.