We have the same situation, but with vinyl-covered wood, and are facing the same dilemma. In our case, our concrete deck needs attention, too, so we've got that added complication. (And, BTW, our pool and house have the same name!!!! And other not so nice names, too!)
I wonder if replacing...