Thanks for the suggestions. Still not sure how I'm going to get him again. I
do need to drain and clean the pond anyway (neglected to do so early in spring
as I usually do) except that probably won't work, as he's managed to hide
somewhere within the foliage on previous drains.

I may try the bait-n-net approach on a day when sitting out doing nothing else
seems appropriate.

John