BIG-IPなんて初期のころから入れてるよ。サーバーの台数も有り余るほど。