The two repairman problem: a finite source M/G/2 queue