Also, treat the extension on the document name the same as you treat the extension on the filename.
I have so many files where the document name is "design.dgn" but the filename is "design.dgn.dgn" (or visa versa) because users do not understand how the heck ProjectWise treats the extension when renaming or creating a new document when a document of the same name already exists.
When the lock is turned on, always match the entire document name with the entire filename, including the extension in both.
i think it would be much more clear in the dialogs to separate the extension from both the document and filename into a separate field. Makes accidentally changing the extension harder.