Tundra Music in Canada still has four new ones on Reverb at US $3800-3900. The one at Dave's is also on Reverb and is the least expensive one listed.
Dave used to sell new Gibsons at well below MAP. That was before he dropped Gibson the first time.
Everyone will be better off just ignoring Tundra Music. Not that I have to tell anytone to not buy from them (usually the most expensive, buy double) but you can't take any of their listrings as indicative of market value at all.
I remember them from back in the day - their entire biz model was based on buying up all the vintage stuff (only people to always have a TBird and EB3/0 in stock at any time back then) and then keep em priced way high (usually dogs too - damaged etc) so when a touring musician came though (or some other desperate/ignorant collector) and needed a replacement there they were with the only one in town. I used to make fun of them back in the Dudepit days.
2 years ago I tried to buy a Sunn 1200s off them - saw their add, not too overpriced, called to book a time to check it out (was gonna offer lower than ask ) and the owner called ma back 5 minutes later to say the price was wrong. I asked in which direction he was gonna djust it and he said up. I called him an crazy asshole and hung up. That amp is still on Reverb today, at double the ask I initially inquired at. I bought one and had it shipped from Portland for less than the original ask.