The power boards are  probably based on something like tps40140 or ltc3829.
They could have been ordered separately. worst case, they can be used to work on other chips later.
But I expected the power supply to be built in the dev board, and price for the dev board is almost twice what I expected, so sample chips will be fine and more fun.

Anyway, my 2 chips design only needs routing to be finished.
I've been away today and will be driving back home tomorrow (9hours trip at least), so I probably won't update until Wednesday.

Sample chips price is a little bit high too, I expected something closer to 50$ each, but if price for "small batches" is right, it doesn't really matters.
Before I buy 2 or 4 of them, I'll need some more technical informations than what can be found in the partial data sheet.
I'll check tomorrow or Wednesday for what's missing.
Can I assume the chips will be sent express (dhl/FedEx) within 1 or 2 days after payment will be made?