The shop is telling me they also need to "bleed the system" after replacement. Is that necessary? If so, how much time/cost would you expect for that? Thanks!