 All right. Thanks for an excellent show, Jeff. It was a lot of fun talking about history, American history, and Independence Day. Enjoy your Independence Day, Jeff, and everybody else. If you have any information that you need or any questions, just go to our website or just give us a call.