I can buy a RECI power supply which has its own display and reportedly includes some diagnostics for $330. Or, I can buy a Shenhui power supply for $190. Any one know which way makes the most sense? (RECI has agreed to replace the tube I got a few months ago with free shipping!)