When they come for your guns, the ATF will want a police report documenting said theft.