Rotating leads with fixed distribution percentages

SUPER surprised that this is not possible within hubspot.

we are in the same boat, we need one rep to get 30% and the other 70% of leads.

how is this not possible?

we have to ask our reps to do it manually?