Proportional helium thrusters for Gravity Probe B. (17th November 2015)