How should dry vacuum pump manufacturers choose?