There'd still be a mental overhead though, and it's notwithstanding the fact that the euro is more than twenty years old, at a time where paying by credit card

There'd still be a mental overhead though, and it's notwithstanding the fact that the euro is more than twenty years old, at a time where paying by credit card often meant someone was physically copying your card number and details so it's unsurprising that they didn't account for that fact.