Thoughtful touches. Pool/hot tub not heated would suggest this repair for future