I'm thinking about adding reverb to my K20-X and rather than build out the circuit as the K30RX (they share the same board), I'm thinking of using a Belton brick. This would require 9v DC to supply it. I'm leaning towards simply attaching a basic 7809 regulator to the positive line of the +/-18v PSU output. I know that technically this would draw a few ma off that end of the PSU potentially making it unbalanced, but I can't image it would be an issue. So, what do you guys think?