in KL this week on hols and want to take 6mth old DD swimming, where is best pool for babies? friends joining us at w'end with bright and busy 3yr old, any suggestions apart from docker park farm?