Yes, I'm sure they're still processed but I think it would make sense to give less credence to anonymous tips as they're less likely to be legit or serious than one that someone puts their name on.