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.