Don't sweat it, the service tech is not up with the times.

What machine do you have?

If it is a newer machine, what about blowing out the vacuum pump internal fan area to see if that helps the vacuum pump?

Glenn (H) Login to read more.