I went to the airport immigration section. They found my registration number on the computer and gave me a new departure card, crossed out the number, and wrote down by hand my actual departure card number.
Thanks Tod! Shuttle is listed as free. I'm wondering how much is their service. I assume they take care of ensuring people get into queues, get paperwork, etc.