It could also have been the case that they were just bragging to friends or people at bars/parties about it, but either way I agree that it's much more likely that someone heard about it and then tipped off the SEC.