How neighbors were notified of shooting

Some found out through Code Red - the county's emergency notification system.