The first-exit time process of an inverse Gaussian Lévy process is considered. The one-dimensional distribution functions of the process are obtained. They are not infinitely divisible and the tail probabilities decay ...