That's definitely the leak - hole size sounds about right for the water loss incurred.
However, the leak detection company should have found this problem pretty much immediately.
Is there a way to get your money back or is it pay first, find leak later, no guarantees?
I guess they'll just argue that they fixed something that was amiss and therefore should be payed.