for me, i prefer 小人國. it is more suitable for kids as well.
However, if you go to the theme park once after landing, I think it is too rush. The theme park might close at about 5pm in winter.
And if you go to babyboss for the whole day, I don't think you would have time to do other things. My daughter played from 10am-8pm. After playing, she is tired enough. We went back to the hotel after dinner.
Even your kids had been there before, they might still want to play some jobs again!
we just stayed in that resort in December! It is a nice experience. my daughter can touch the giraffe and she was very happy about that!
Remember to book the room with balcony! They are much bigger and the feeling is also better. :) It is worth to spend more for those room!