Just read a review on Trip Advisor that mentioned that the pool at 3 Brothers was closed for renovations at the start of December. Does anyone know if it has reopened? Am staying there end of January and will change booking if pool closed. Thanks for any help!