The plot of this thread is certainly not unprecedented around here. I definitely remember a few members cashing in on iron man when they knew about the VE ahead of everyone else.
I have seen a few AC/DCs listed for close to $8k. I think that price range is enough to knock a few loose with or without another run. Some people have had AC/DC for close to 5 years now. It is definitely not the new shiny thing anymore.
I still don't miss mine, but my wife wishes we still had it. I am very interested in playing Aerosmith.