维修冰箱用的真空泵是什么类型的啊？跪求老师傅，教教小弟。