BMX Crank Lengths?

Thought I’d throw this out there - might be someone who knows a bit about BMX. I Bought my kid a BMX for his last birthday - he’s a tall boy for 8 but it looks to me like he’s struggling a bit with the stock 180mm cranks. Anyone aware of shorter cranks out there? The stock cranks are a 3-piece setup.

They come from 140 to 200.

Lot’s to choose from. I believe it’s usually the more high end companies that make the extreme lengths? What lengths do you need? 160 to 180 in 5 mm increments are usually very common.