did it sell for this?

Yes 

The pro that sold for 4k if it did I recall was an operators pinnie

Yeah it was i believe, Mind you the machine was less than a year old so it had not been on site for what i would consider a long time.

I think the one you are talking about here is the one that I had agreed to buy.

Yes i was told that someone else bought it, as you said it was $3500 that you agreed on. I was told he fixed the board and sold it for $4000. Does indeed sound shifty though.