DALLAS (AP) — Officials in Dallas estimate it will cost nearly $7 million to boost security at the Dallas police headquarters and seven substations around the city.

The estimate from City Manager A.C. Gonzalez comes in the wake of a gunman firing more than 40 shots at the headquarters June 13 before he was shot and killed later that day. Mayor Mike Rawlings said at the time money would be no object.

Gonzales says in a memo to city council reviewed by The Dallas Morning News (http://bit.ly/1fZQV6n ) that the estimate includes replacing glass, some with bullet-resistant glass, adding a more secure window wall, updating fire alarms and security system cameras and electronic access cards and possibly adding fencing.

Evaluations are still under way. A formal recommendation is set for Aug. 11