Nice prices but over here you could find them cheaper on the aftermarket (if you need the classics).
On my Gretsch parts feed on the local website there’s a pair of TV Classics for 100 bucks since ages…
Maybe some more sought stuff will appear though, that would be interesting…