Interesting that the authorities seem unable to say whether or not the AR-15 was issued to him by his department, legally purchased/owned by the shooter or just exactly where he got it.
I'd think the department has serial numbers recorded for all their AR's. How long does it take to check the list?