130 is a decent size but i think you will need at least 250 if they are all full grown IMO unless you enjoy constant bickering and not being able to swim without territory fights something maybe 8x 2 x 2 if smaller put them in as juvs and monitor and remove if needed
I had a pair of Butti's, a pair of Jag's and a pair of Midas in a Ten foot x 30" x 30" and no problems. The Midas was boss but no real out and out WAR!!! NEV'
yeah you're going to need something way bigger than 130 gallons to keep those fish together long-term and even then it will depend on the individual personalities of the fish. An LFS not far from me has a 300+ gallon display tank that they used to have a large butti in. There was a large oscar in the same tank as well as multiple other large fish. For some reason the butt did not like the oscar...the other fish didn't bother the butti but it was relentless in chasing the oscar the entire time I was there.
Same thing could happen with jag or RD as well so I'd plan on a huge tank in the long run.