I did use it when I began one of my projects two years ago.
When deciding to migrate to J!2.5 I was really worried about hundreds of docs already managed thanks to DOCMan.
I did the Joomla migration and DOCMan process was easy.
A little problem with configuration was solved by support team in ..minutes!! Incredible!
So, I thank them for having such a great tools and such a fast and good support.