I think I have this straight but wanted to double-check - if I want to port my number to another provider, I just set that up on the other provider's end and everything on the Fido end happens automatically, right? (i.e., once the other provider is a...