kindly require Mike and Roo to keep a mini-pool at the behest of their friends and benefit for all humanity.

Michael and Roo have a mini-pool. They should keep it. It would make everybody happy!