Aerojet's flight-qualified xenon Hall-thruster family, originally named BPT-4000 and later marketed as XR-5.