Is there an actual way to permanently delete such files from the HDD, forever?
You could just sell him your laptop without HDD, just open it and remove the drive yourself, that would be the safest way and nobody would be able get your keys.
Other option is to fully format your hard drive, but since your laptop is still at technician I would move all your coins to new addresses that you fully control, without any connection with keys on that laptop.