This minty HK VP9 was purchased by a private buyer in El Paso. As I recall they paid $200.
I THINK I know what happened to the serial number!