Marca: Hasbro
Lançamento: Série 12 (1993)
Filiação: Battle Corps
Vendido Em Conjunto Com: Cutter
Informações Adicionais: Adicionais: Segundo o site Yojoe.com, o Shark 9000 deveria ter sido uma adição à D.E.F., mas a Hasbro decidiu não continuar com a linha e o reembalou como pertencente à Battle Corps.