How Much Does Borehole Drilling Cost in Namibia?