i would build my own kit with that money. you could have a kit with ems for 5k. Just do some research on custom kits. i would recommend a T3/T4 because you can boost a decent amount with it. look into the zdyne engine management. the gold SECU requires a laptop but you can get an old one with windows 98 ion ebay for as cheap as $400 then the SECU is like $995. thats your EMS for under $1500. that would let you fully tune your car to your likeing. but if you don't like the idea of putting together your own kit id go with the drag kit. it will give you close to the numbers you need but its kinda pricey for those kind of kits. and they use an FMU for the fuel management. it works but its not the best way. but i would go with the custom kit with the zdyne gold secu if i had the cash.
www.zdyne.com
www.importparts.com for the drag kit.