The power supply is in this forum post
click on this link and download the generic-ac-power-supply.fzpz file to get his generic power supply part:
which takes an AC input and provides a DC output (at any voltage you like.)
Peter
