Anyone know how many guys started in July? I know they were planning on somewhere around 10, would be interesting to see how many they hired due to the fact we’re cancelling vacations now. Smart thing to do would be hire more but we all know smart and management don’t go together.