I've still got my old records, and amazingly enough, the groups I like are putting out 7" and 12" records like crazy. Now they aren't putting them out in huge quantities, but they are available.
There's also a site I've used to get some vintage 7" called 'discogs' that is kind of like an ebay for records, except they aren't auctions. I've found a lot of old 7" on there in great condition.
I'm really having a ton of fun with this old jukebox.