Finger pick question

Hi All,

I just bought my son a lap steel and he really likes it. He is using his guitar picks and slide. The slide seems fine. He would like to get some finger picks. I am concerned that they will be too big for his fingers.

I was looking at something like these.

https://www.daddario.com/products/accessories/picks-and-pick-holders/finger-and-thumb-picks/national-finger-picks-stainless-steel-and-celluloid-thumb-pick-bundle/

Anyone know of any that come in small size. I know that they can be bent to make them smaller but am concerned about the metal wrapping over itself and not fitting well or being uncomfortable.