Title said it all. My math must have been off a bit, so taking 5.08mm off the stock pulley actually added a full 3psi, when I was shooting for only a 2psi increase.
I was going for 22psi max thinking that anything over that would cause the dreaded over-boost code, but so far it hasn't surfaced. It's obviously too early to celebrate, but I'm cautiously optimistic.
Merry Christmas guys and gals.
EDIT: Here's the receipt from where I had the pulley machined in case anyone is interested:
fc4f5499.jpg