I would recommend dumping that DC-DC converter and going with a simple 3-terminal regulator (or at least adding an option for it). It seems it would be a lot cheaper and easier for people to source the parts for it.