But that isn't manipulable by someone standing in line, so it is effectively random. You can't determine exactly when the tsa person will press the button.
Additionally, by observing several passengers being directed this way or that, you could brute force the seed and the system becomes deterministic.