I have one RPi1 which as a bad contact on the SD card port .
That is, If I press the SD card down the RPi1 boots normally.
If I don't press the SD card down the RPi won't boot.
So, before starting re-soldering the SD card port pins, bending contacts... I want to know if this is a know issue and how to correct it.