I was googling about to find some info on pump boreholes - depths etc. Bit illusive,
but this guy restored a pump and found the original borehole to stick it back on top of, which was 4 metres deep.
[actually 4 metres to the water... total depth?]
edit.. 7.7m is maximum depth that can be lifted with the
simple pump apparently...