Thank you so much for this enlightening story.
Please may I take this opportunity to remind people that in Israel many hotels employ staff on shabbos who are Jewish so please be careful when ordering something and the waiter/ess starts writing down your request or doing anything else Mukser (sp?)
We always check before shabbos with the Hotel Manager what the staffing policy is over Shabbos/Yom Tov