There was a poster @HungDang that used to keep some wild caught spotted gars with koi. From what I remember he did not have any issues from the setup. The gars were on the larger size, as I believe the koi were. He maintained them in a larger outdoor setup.
I would just watch that the gar is...