[rxsid]

"...we know that at the time of explosion TWA800 was higher than the effective altitude of MANPADS missiles."

Wasn't the altitude of TWA800 at the time of the explosion 13,700 feet?

If that's true, and speaking strictly in terms of altitude capability, it seems there would have been a number of MANPADS available at the time with that range capability, a few of which are here (SA16, SA18, FIM92, Grom):
Comparison chart to other MANPADS

[Yo-Yo]

That’s slant range, not necessarily altitude.