Armed and dangerous: Sharp-shooting IRS agent guns down would-be robber