Given that she said 4GB SD, that means it's actually an SDHC card. I doubt the SDHC spec was even a gleam in someone's eye five years ago, let alone the couple of years before that that they were designing her Pavilion.

I'd recommend picking up an SDHC-capable USB card-reader - they can be had for $5-30, depending on how many other card formats you want them to read and how quickly you want it. IIRC, I got mine from an Amazon 3rd-party seller for about $7 including shipping, and it took less than a week to get to me.