Pretty sure that is an older Metco pulley which may be discolored. They came in 2.6, 2.8, and 3.0". I would not assume you are only making 9.5#s of boost just by reading inferred boost on the cluster gauge. The 2.6" would generate 13.5# with stock TB and exhaust.
Any way to Measure the pulley that's on it ? Only reason I ask it feels like stock power to me before and I just got through putting a diablo intune on the car for him which made it run a lot better .