Exactly that really. I've no idea why/where they've come from but we've a definite colony of mushrooms on the lawn in the back garden. As we have a puppy I'm a bit concerned about this. He often goes off by himself during his night-time constitutional. Would digging up the mushrooms work to eliminate them or is there something else needed to prevent recurrence? Any advice gratefully received!