Mine-hunters: are they still needed?

main