Nice deal ! That's a better price than the cheapest (total) price I've seen on-line for a SD9VE, but he got a higher-end pistol, that's more concealable. That was also a better price than I've come across in the used market.
I'd say win/win.