I tried to re-produce the scenario and ended up failing 🙁

When DbLive.mdf is renamed to DbBad.mdf, the database name in the Mgmt Studio does not change??? As a result, I...