badger got removed long before pothole got filled
So I should hope - they'd have a job doing it the other way round!

Robin, thanks for your clarification - I was thinking in terms of diameter.