I had that one completely muted, but the chime still sounded when it did an OS update, and it practically echoed through the house. DoNotDisturb seems to have helped.
Other updates: now working fine on Verizon. Was able to directly perform a Bluetooth connection between old and new phone, and transferred contacts that way, but if I open the Google " set up a new device" on the old phone, it can't find any phone (out of three other phones sitting next to it) on Bluetooth, so I gave up on that tactic. Google on the Pro did at least identify apps it could install from the last phone,