Thank you very much for the replies! (I just downloaded the manual)
Two questions, though:
1. If, for some reason, the card does not work in the UK, can I just buy one there? If so, generally where are they purchased?
2. The Top-up card has an expiration date of 13/07 (no other numbers). Normally, I would think that would be a month and a year, but there is no 13th month! Surely, the card can't expire on the 13th of July, can it? Something is amiss.