'Beveiliger RTL kreeg tip kort voor aanslag op De Vries'