Unless you already have the parts, I'd look at Ben's (mb911's) kit . I'd consider some sort of an aftermarket intercooler as well, as stock 930 ICs are considered to be inefficient.
The boost numbers you cite are accurate. My 3.2 has been very happy w/ .5 bar (around 7psi) w/o intercooling.
05 Ducati 749s (wrecked, stupidly)
2000 K1200rs (gone, due to above)