Swiss Tony, jpatokal,
thanks for the responses. both are very useful and the kind of information i was looking for. We will have about 11 hours at Changi. Arriving early in the morning 0600 and departing about 1700.
We may just skip the zoo or bird park, go have lunch some place and ride a bus en route.
This information is very useful for planning. Thanks again.