I know that this thread hasn't had a post in almost a year, but since I was looking for these and found the active DIYINHK website, I figured that I would at least post here that these PCBs (the Sanyo 10W and the white 18W) appear to both be available.
http://www.diyinhk.com/shop/6-ddc-pump
