Yes, that's it. It's a model 3000, black parkerized finish with an 18" barrel. It's certainly a mean machine. Around $500 sounds like a fair value. I guess the seller was correct about it being a 60s police riot gun. It's perfect for home defense.

Thanks so much for the info!