Don't see too many for sale these days but they aren't the high end collectible that the P7M13 is. I've seen them advertised for upwards of $600 but they never sell for that much.
I still have mine in the original box and shoot it occasionally. It's fun to hand it to a friend with a full mag and tell them to empty it as fast as they can. Most aren't prepared for that.