Just in case anyone in your family has ever used the toilet in the middle of the night without realizing the cover was still down, this will help. If there is one thing you want to avoid it would be sticking your butt on a shark’s mouth, be it night or the middle of the day.
