I bought my Flex 5000 there in 2008 when you could still get a deal, now it seems all about who wants bragging rights who paid the most, current price is a deal at $5200
High bid was $6953, to which the ARRL will add insured shipping.
Having the experience of being the bidder who bought the Hilberling PT-8000A the ARRL auctioned off in their prior auction, my personal plan if I had been the high bidder was to send the radio to FRS to have if checked out before putting it in my shack.
In the case of the radio I purchased nothing was broken, but almost every possible user control/trimmer/adjustment had been manipulated during their test process and perhaps further while a guest radio in the league's shack. Lost a lot of time essentially troubleshooting what had been adjusted and left at extremes.
With the Flex-6700 there is less chance of this, but I would still personally have it bench checked with the experience of the last purchase out of the lab's review radios.