What I have done is take the instrumentals of TBOT and TCOT, mix in the solo stems, and increase the volume on any specific sounds I want to stand out more (usually stuff Jordan does). I also shortened some parts that heavily rely on vocals. I only listen to these versions now.
ANTR and AROP I like as/is except for a few cuts (Portnoy vocals mostly).