Adjustable Exhaust Pulley is worth a couple of kw's, some gain and some loose if you do a few searches. From my personal experience, i found a few kw's. Cost approx $200 plus fitting.
If you keep the 12psi tune, then yes the tune will not be 100% correct with 7psi boost. But in my opinion, i doubt whether this would warrant another tune.