I would be surprised if the shooter bought his gun at Walmart
Mostly only the rural Walmarts sell guns. Hunting guns, typically & certainly not AK pattern guns.