At the moment somebody else gets even close to getting access to your wallet (so, if possible, before the repair guy getting to your file), you should consider that wallet compromised, move your funds away and never use it again.
Depending on your wallet's version (basically HD vs non HD) a new address may or may not be getting into his hands. However, why would you take chances?