Great question! I’ve updated the post to include information about these DC to DC buck converters I used for the project.