@sugar No Mike at my workplace, but my workplace also doesn't have English as the primary language
We have at least one "Michael", that is probably the German equivalent of "Mike"?