  We study a class of S3 Gowdy vacuum models with a regular past Cauchy horizon
which we call smooth Gowdy symmetric generalized Taub-NUT solutions. In
particular, we prove existence of such solutions by formulating a singular
initial value problem with asymptotic data on the past Cauchy horizon. The
result of our investigations is that a future Cauchy horizon exists for generic
asymptotic data. Moreover, we derive an explicit expression for the metric on
the future Cauchy horizon in terms of the asymptotic data on the past horizon.
This complements earlier results about S2xS1 Gowdy models.
