Excellent points Mark. However, "should not exist" is something that I can corroborate.
Testing and feddback from our colleagues, which is sometimes scarce, might confirm wether or not DBCC CHECKALLOC consistently fixes/reconciles the dbid issue.
I would try my approach. Straighforward, and you are in the driver's seat.
Regards,
Jean-Pierre