who makes the pangolin? I heard they were getting HP to make them some machines