Hi Rick, your story sounds pretty familiar!
I too DJ-ed a lot in the late 80s early 90s at picked up the pieces about 6 months ago.
Just like you I looked at my 12" collection and wondered what the heck I should do with it

So I spent a lot of time in wondering what player I should buy.
At first I just wanted to hobby around a little bit so I looked at Gemini, Denon (1000) and of course the Pioneer cdj800 (used).
But then I got really enthousiastic! This is where my story is a little bit different from yours, but I can imagine that you are about to do the same. DJ-ing these days is really great! Even if you are used to playing vinyl there are really great players that give you that same old feeling: (Numark CDX1, Pioneer CDJ1000, Denon DNS3500).
After experiencing with those players I decided to gain up my budget a little and finally ended up with two Denon DN-S3500s. I can imagine you love them just like I do.
So my suggestion: if you really liked DJ-ing 15 years ago: spend a little more money and get you one of those players I mentioned above.
Good luck!