You should be able to log/view data from the FIC to see the MAP under boost. Easier than hooking up an additional boost gauge. I'm pretty sure you will find that it's considered "high boost," although that has a variety of definitions.
I will have to find the software. Did not receive it when I bought the vehicle. Did you have a chance to measure your pulley?
I'm pretty sure the standard measurement does not include the flange. That makes sense because the flange heights could be different. It's not that easy to measure the standard way though.