Ok, thanks guys – I’ll defer to the experts and just leave the provider active. I don’t remember ever running into problems with installation if I forgot to pause it anyway.