 Right, same idea. And if it cost the Navy more money to do that, it certainly cost Utah taxpayers. Yeah, we were paying the construction guys who were making money. Come on. People were making money and buying stuff. It's fine. Yeah.