Thanks for the replies!

We ended up detaching the db file from the database list, refreshing the Enterprise Manager db window so that the suspect DB was no longer there, and...