Ok, so I checked and it's only these few I have left wrt the above. All authentic carts, no bootlegs/fakes as you'd usually get on Bidorbuy or similar.
That Donkey Kong cartridge is the Japanese version of Donkey Kong Land. No language barrier with this one and it plays exactly the same as the ones released in the USA and PAL territories.
Incidentally, it's one of the games that features enhanced colour and visuals when played on a Super Nintendo via the Super Game Boy attachment.
The Pokemon Pinball game is missing the battery cover.
I tested the game and it works fine although I'm not getting any rumble feedback when playing it on my GBA. That could be because that's a GameBoy Color game and maybe the rumble feature only works for this particular game on a GBC handheld. Not sure about that though so I can't vouch as to that part of its functionality. I don't have a GBC at hand so not able to test it further.