Juggler Rocky has logged records in 3 patterns and Pedro Teodoro has logged records in 11 patterns.
They aren't competing for any of the same records.