jaguar aftermarket parts...

anybody know (just curious) is there anyone that does a pulley/ecu and exhaust kit for the current boosted jags? seems like for a couple grand at most, you could have the 4.2L type R running 500 HP right?