If you want the finer things in life, yeah. lol.
Nicer exhaust work (304 SS, tigged), headers, full set of gauges, tucked wiring, nice block off plates and neat and tidy removal of all the BS stuff like EGR, extra coolant crap, etc, AN stainless braided fuel lines, etc. yeah more like 10K total.
FYI a turbo kit on top of this is around another $2K in parts, B&W JB turbo, TIAL WG and BOV, cheap FMIC core and charge piping, stainless crossover pipes tigged and back purged, downpipe, injectors, map, etc and about $1500+ in labor.