I sure hope so. I personally like the .ws extention.
Nice deal on the buyer's side, I think. If I were the seller, I would have held out for a little more. I'm sure the buyer would have paid it.
I actually let that drop a few months back.. I had a starter site on it , just didnt have the time to work on it.. (sure hopethe seller didnt try and claim the traffic on it was type-ins)
I like the .ws extension. Congrats to the buyer and seller. Still some nice keywords in that one available. And it's cheaper than the .cc. Godaddy is trying to drum up business because they've put "website" beside the .ws extension when you are searching.