Noise from turbo charger auxiliary pump?

After finishing the valve cover gasket, put everything back together and added coolant to both reservoirs. I noticed some noise after 10 minutes of running, turned out the intercooler coolant reservoir was empty so i added water and the noise went away, let it run again and there is noise from underneath it which I believe is the turbocharger auxiliary pump which pumps coolant to the intercoolers. Is it possible it went bad because it was empty for a few minutes? Below is a video.
Oh, and i did do the bleeding procedure only after i heard the noise as i forgot to do so, and i have heat coming out if the vents now.