Is Devil May Cry 4 worth it?