Ok two of those are a bit of a stretch. Both Mike (mic) and Jim (gym) seem more like regular names than nicknames. I know they are shortened versions on longer names but still can be normal names without shortening.