There is no need to export all the private keys. You can get an address specific private key using the getprivatekeys() command in the electrum console or via the command line.