No you do not leave your keys. Ticket from the machine at the entrance goes on your dash. Also remember to keep the card the shuttle driver gives you with the location of your car you will need it when you return.
No
No, you take your keys
No. You park, lock, take the shuttle and shuttle back. Easy peasy.
No. You keep your keys.
Thanks! Your answer is awaiting moderation.