I wouldn’t call that “mint”. “Excellent condition” perhaps. I’d pay $400, but not more. I still see local gun stores with police trade 3913 for $375.
$375 for a 3913 in 2021, is a steal!
You would be hard pressed to find an LE trade in that looks like the OPs gun. They are typically beat to hell and almost never a "steal".