NFL2K, NFL2K1, NBA2K, NBA2K1

Again, not a request for ISO's, just a question about the release....and also again, sorry if this has already been answered or posted tons of times, I didn't see it in the post history though.

Earlier today, Evil Unka Tony was nice enough to answer my questions. He mentioned that NFL2K or 2K1 may have been released. I noticed many requests for these games lately as well as requests for NBA2K1. I went to badbio.com and did not see either nba2k1 or nfl2k1 as confirmed releases. Can anyone confirm that these games were actually released? Thanks in advance,
-Ed