När kan man låta en bebis bada i pool?

När min bebis är 9 veckor ska vi på ett litet galej med stort badhus. Det finns babypool men jag tänker bara att det är en stor bakteriepool :)
Är det lite tidigt att låta bebisen bada på ett sådant ställe eller är det bara att köra på?