[mint2]

There’s actually people who will be rude or give worse service if they hear it referred to as “San Fran” rather than sf or the full name. I hope that didn’t happen to you.