Do you want to spend below Marktplaats prices too? I mean, the titles you mention show up every week there. Not really hard to get, and cheaper than on Ebay.
Oh, and if you have a Black Knight pinball, it is worth all mentioned titles combined!
I do have a spare DKJr (green one) and I might get rid of my Popeye or Snoopy panorama (they suck), if the price is at least what I paid for them.
Oh, and skip the Coleco Donkey Kong. That game is really bad. I have 5 Lansay Crazy Kong's laying around. It is how a DK VFD game should be.