The Bad Juggler has logged records in 3 patterns and Michael Hendriksen has logged records in 40 patterns.
They aren't competing for any of the same records.