Of course you are wrong. You know this.
The real issue is do you like the amp or not? If so, pay to have it fixed and enjoy the amp. You got a decent deal on the amp as is. Amps are going to require some maintenance over time, would you be upset if it needed tubes? If you like the amp, fix it...
You are very welcome. I would think the Revv G3 would be something that you really like sonically. The Revv pedals dial back very nicely as well. Something that has a lot of sweep that hasn't been mentioned that could work well for you is a Boss Metal Zone Waza pedal. I usually cringe anytime...
It is impossible for me to answer that because the amp, pedals in question, your guitar & pickups, etc all effect things and the pedals can be dialed many ways. They can be bright, they can be dark and in between. Everything works together in the chain. All the pedals I listed will give you good...
The AT+ is a great pedal but is nothing remotely close to high gain IMO. I guess we first need to define what the OP calls high gain. Based on his initial post, I would say boost pedals and many overdrive pedals are not what he is looking for. It sounds like he is seeking more of a distortion...
If I got a BE pedal I would get the BE Deluxe pedal. Out of the pedals I listed, the Friedman wouldn't be my first choice personally but I could easily live with all the pedals I mentioned and be happy with the results. YMMV
This should be enough to get you happy and in good trouble
Friedman BE-OD Deluxe
Rock Fabrik Mind Abuse
Horizon Devices Apex
Suhr Riot Reloaded
Airis Effects Savage Drive