Oh, and the decision on the VXX protest had to be weighed against
bigger upcoming programs. I suspect there was some worry that a messy
fight would get the customer mad, whether or not the VXX decision was
fair.

HW