Those are the standard profile part numbers I gave. After looking a bit more, it looks more likely to be a low profile part which is what the new part numbers I gave are. I don't think it's that critical what you choose as long as it fits. Mouser has a few you can try to see if they fit. I'm pretty sure something they have will work.

Stu