Staying in small hotel near Madrid for five nights. Staff cleaning room daily. I’m pretty neat so making the bed and replenishing any coffee satchet and occasional towels. Was thinking of leaving a 20 euro tip. Is that about right?