Thank you for your answer.
Follow-up question. The renters do use the pool. But if asked by the IRS how would I prove that?
