If you are fighting KR with a smaller pulley you may run faster with the 3.8" pulley because the KR will be less and you'll get more timing. And even though it's flowing less air because the smaller pulley had so much timing pulled it was a waste.
I haven't seen anyone list any times with these mods and a stock pulley I ran xx.xx then with the same mods and 3.4 I ran xx.xx
That would be a cool project for some one that has an MPS and a consistant enough launch to run a few runs in a session to compare.