Either of those valves are great, just make sure whatever you use its a gated valve ( doesn't bleed pressure ) for the best spool.
I'll be posting a little project of mine very soon using a valve that is similar with a remote cable that allows for in car control. The Hallman version of this setup is around 140-160 and of course any good EBC is going to be at least 200.
My solution will be about 60-70 dollars for a manual boost controller with in car control.