An anonymous tip-off