Compatibility with Pretty Links Plugin

We have a client interested in the more robust redirection and logging functionality of your plugin, as well as the quick short link creation from the pretty links plugin

Obviously these two plugins both create seperate redirect actions, and in my limited testing it seems that pretty links trumps redirection if there is a collision.

Would you have any experience or information for instances of these two being used together?