Well, if you can get a replacement PSU of the same type for little money, go ahead! If not, it's worth trying to fix the existing one as I did with my old Astec PSU (still working after been fixed). BTW, a quick ebay search reveals a used TDK 699-0153 for 79,95 € + shipping from Germany to...