Hey Adam!
Not that I know of in particular.
I would say it’d be pretty easy to record a basketball dribble yourself!?
If you don’t have a portal mic system, you could use your phone, or a hand-held mic recorder.
You could try just recording a basketball dribble and applying reverb on, but for the actual sound, it might be best to actually record it the next time you’re in a gym.
Make sure you record a bunch of attempts because it’s always best to have lots of selection when you’re going through your edits 👍