Thanks for the tip. I use deDRM already but it never hurts to spread the word! These days I stick to buying DRM free books, so it doesn't see much use.