I didn't check those places actually. While I've had my minidisc players for a while, I'm new to searching for anything on them on the internet. I only just decided to start searching the other day when I stumbled upon this forum. I just looked in both those places, and did manage to find a service manual for my SJ-MJ55 which will come in handy. Nothing on the slightly newer models, but that's ok, I'm still way further ahead with these other two service manuals. I've fixed both my SJ-MR100 players now, my other player wouldn't record, but that service manual gave me a helpful hint and I was able to get it both playing and recording like new.