Comment by reaperhulk

As one of the original bounty sponsors, I'm thrilled to pay my portion to ISRG. :)