My husband was warned, and so it has proved. The mole was not gone. It simply had gone to a lower level. In the summer particularly, they dig about 18 inches lower and so no molehills appear.
This morning saw two fresh molehills.
So it is mole traps at the ready. Some day.
The revisions continue.