7 ms·

0:51 in that talk. Though it doesnt mention arecibo specifically(i might have mis-remebered it) its still a fun thought.