Comment by ronnoles

If this was anything like a typical process, drilling fluid would be pumped under pressure down the drill pipe. Not a few drops - rather hundreds (or thousands) of liters. Obviously, this is not hard-rock drilling so I'd assume the volume of drilling fluid would be reduced. It would still have to be a substantial amount, definitely more that 1.5 cubic meters.