機雷は、70年代末から80年代にかけて4500個を超える数、生産されてるという記事を見た。
ソースは言わない。ただ、その後は不明だし、現在維持されてるかどうかも判らない。
機雷については、判らない、のが普通。