Thank you everyone for your kind words! Scallywag, I haven't been able to measure actual total efficiency but it's >90% based on quick measurements. There's a fair bit more losses in the inductor, DCR losses in the board, contacts, wires, as well as gate drive. I'll have more details as I get around to them.
Agro, there is a boost regulator IC on the main board. It's partially blocked in the image above by the switch-pcb.
Texas shooter, that looks like another excellent host, thanks for the recommendation. I think it probably wasn't around when I made this driver at the start of this year. I'll do a little more reading about it.