Radar Gun

I am looking at buying a radar gun for the first time. I have used a JUGS and Stalker in the past, but I am uncertain as to the best direction to go… I have found several used JUGS guns on Ebay selling for around $400-$500. I also found one used Stalker ATS Sport around $500. I am trying to stay around the $500 mark… thoughts? recommendations? I plan on using this with my high school program (I am a pitching coach), with my summer team, and with private lessons.

Would you mind explaining exactly how you plan on using the gun, either to compare pitchers, measure them, and/or help them improve?

We got our Jugs gun through Craigslist.