Quoted from PinChili:I'd be surprised if you couldn't find a distributor that still has one NIB in stock for around 6k (or low 6k).
I have recently been looking for a NIB ACDC premium and could not find anything for 6k. Most were in the $8000 to $9000 range. Some were well modded and included shipping, that said.