Alex, Tim is running his own dedicated belt drive and the dude that bought Flip's Paxton kit, is running Doug's dedicated belt drive system, with a front mount that Doug did also.
I know, but they haven't tried to max out the Paxton yet. Flip's Paxton kit has an Air-to-Air Intercooler which as you know reduces the psi because of all of the extra piping the air needs to go through before getting to the motor. If not mistaken before the kit was install on Flip's truck he was only making about 4~5 psi at 6k rpm. Once the kit was installed I had the opportunity to be given a ride in his truck and it made a solid 8~9 psi. So the kit does work. Just need to find out what the max output is.