In looking over the replies, it seems like my experience was not unique. The best post I've seen is the one that advises planning ahead for credit card failure and for unstaffed locations. My advice for folks is to get a Chip and PIN card. Period. It's not worth the stress.