Has anyone been to the Hotel Jupiter in Praia Da Rocha recently? I have heard on other forums there may be some building work going on close to the hotel. I would like to know before I make a booking. Thanks :roll: