Do you know if, in this case, they worked on the patch on company time, or on their own time?