I have someone painting the wood deck of my porch and it seems that there is a small section of it where the boards have rotted and which needs to be replaced. So I'm looking for someone with some carpentry skills who could do that. I would appreciate any recommendations.