Riding the Oilfield Service Rodeo, with HAL, PUMP, and WTF