Thanks for the replies.
Have gone for a new set of 2014 Rockshox XC32 Solo Air 100mm which I believe can be adjusted down to 80mm using an internal spacer (do the spacers normally come in the forks?) Rough calculations suggest these will add about 20mm to the crown to axle height, but it’s probably even less allowing for some sag.
Being Air they will be adjustable to my lads weight and we can move them onto other bikes as he grows and can put them back up to 100mm when needed.
Got the forks for just under £140 delivered, so more expensive than 2nd hand, but they should give a few years of use.
Look out for a series of how do I adjust my forks, cut the steerer type breads next weekend! 🙂
Thanks again to those who replied.