Dumb question: what's the market cap of Patriot? Mindful that the dual listing may affect any numbers I'm seeing. TIA