It would be great to add the Constraint "Detail" to Sync Lead to SFDC Filter so that Users can specifically filter by Sync Lead Failures due to issues like "TotalRequests Limit exceeded" for those trigger campaigns that failed to sync leads during this type of issue. It would make the re-syncing of those failed attempts a lot easier for the Marketo User.