i thought the same. but for 10kW and 100V he'd use 100A battery. so his current sensor may be 200A types.
and fortunately this is the limit of this type afaik.
that's the point. the size is the issue. i can find LED PCBs in 20mm and 28mm size. but none with 24mm. no idea why. i know ordered the 20mm size and will see if i can fix it somehow.