There was a small leak in the pond in 2012, and Yellowstone Club worked with the MDEQ to plan an approved repair, and that repair was completed in 2014. Additionally, another small leak was identified in 2015 and that leak was repaired in 2015. We do not believe the 2012 and 2015 leaks are related to the current situation. In both of those cases, reclaimed water did not reach open water. The leaks were relatively minor.