Didn't notice about the Type C port as it wasn't used for anything, problem might have been there originally or it could be new.
The card reader has worked a couple of times, most notably after a drivers update some time ago, but recently noticed it's not working now. (He was stuck with no way...