High Power inductor, off-the-shelf ferrite core set?

Hello,
Here in MaryLand we have to make a 9uH inductor which will be used in a 650W, 200KHz, CCM boost converter.
The inductor current is triangle between 47 Amps and 42Amps, with around 45 Amps RMS current.

We only have the PQ40/40 ferrite core set so far, but is there any smaller type of ferrite formers which are used for inductors specifically? The PQ4040 former is a bit too big and spacious for us.

PQ40/40 ferrite core datasheet:
https://ferrite.ru/uploads/pdf/products/pq/pq_40_40.pdf

TDK makes:
PQ5050, 4040, 3230 3220, 2625, 2620, 2020, 2016, 1611.6

Ferroxcube are available in the uk, an etd 54 or etd59 would be similarish off hand, they also do a efd range which are low height.