I should have reported earlier but our leaky faucet is leaking no more.
I contacted a plumber the same day and very resourceful Josh turned up as scheduled the next morning and diagnosed the problem which involved removing a pipe in the wall inside the house and installing a new one.
So no more drip, drip, drip.
It's always good to know where to find a good plumber.
