The big steel picks like they use at their office? Or something smaller?

My mother bought some of those little plastic picks and carries them around. I leave one at my desk just in case. They are quite handy and portable.