Dude, do it yourself, it’s really not difficult, when the weather gets nice, it will take you maybe two hours.
I’m not saying that your mechanic didn’t do anything, but I wouldn’t be surprised if he cleaned it in place.
Have a golf tee on hand and there is a small hose running coolant just under the throttle body, where the tps is. You’ll need to disconnect that hose (shove the golf tee in the hose so the coolant doesn’t leak out and tighten the hose clamp), unplug the tps, disconnect the cruise control bellows and then four bolts and it’s off. No gasket to worry about!