After a little play time in a kiddie pool.