Kenya ($KENYA) - Pump