I don't know.... I guess sooner or later I'll just make a big order on samsungparts.com or samsungonderdelen.com. It's more expensive but then I'm sure to get original and working parts.
I have so many players, I could buy batteries and other spare parts for other Samsung players at the same time