I bowed out at $7500. That was my self imposed limit on a gun that I may end up holding onto for a while.
That said, I still think it sold for well below retail (from the guns I see and know have sold privately).
If it all checks out OK, I think it was a strong buy. If I was more birdy, I would have bought it.