El Departamento de Policía de Round Rock identificó al hombre armado que murió al ser baleado por un oficial después de que la policía dijera que amenazó con matar a personas dentro de un hotel. El hombre fue identificado como Antonio Díaz.