What Do You Call A Man…

What do you call a man who put the toilet seat down after use?

Don’t know it’s never happened.