On 10/05/2019 21:35, Chris B wrote:
Can anybody suggest a sum that would be reasonable for this job as a
"little extra"
How long is it taking them to drill other holes?

In my experience core drilling can take an inordinate length of time but
that said the last one I did took about 10 mins and was a relative joy.