32GB Class 10 MicroSDHC

[miikerman]

Yep–that’s a Class 4 card.  Most manufacturers have them–you don’t have to get a SanDisk (although that is a good brand).