|When you say you "checked the properties and nothing showed up" do you mean no problem showed up or do you mean it was blank, indicating a problem?|
The card reader itself should be just a USB device but it may be separately enabled in cmos/bios setup so check that too.
Could he have damaged the reader by forcing a non-compatible card in it? Would he tell you if he did? Other than that it's got to be a driver or software issue. If you can't find a download to fix it maybe a system restore will work.
You're not really green until you're soylent green.