I think we should just tip the government if it does a good job. Fifteen percent is the standard tip, isn't it?