Terrorists with Libyan-made MANPADS don’t give a hoot about those three dorks. If the US Secret Service says it ain’t secure, it ain’t secure.
I dont think anyone would sweat too much if they really were Libyan-made.
Now, Soviet-made trafficked from Libya would be a little more troubling.