They have a ton of North Africa provinces though. Now granted, it's early 1700 so war goal cost for those provinces probably isn't much, but neither would be their Brazil colonial holdings. And taking their Brazil holdings means even if you can't full Annex next war, you can still kick them...