As long as the increased tension is withing specifications (there's a range depending on the spokes used) and he get the wheel true with evenly tensioned spokes (again, drive side will have higher tension than NDS etc) you should be OK. Trouble usually rears its head when the tech only focuses on the trouble spot and gets that straight again without considering spoke tension, because uneven spoke tensions will lead to future problems.
Caveat: I am NOT a wheel expert but I did read The Bicycle Wheel by Jobst Brandt.