So, do they pay taxes? Funny to think how dirty NK money (e.g. proceeds from exporting meth, which NK is a big producer of) gets laundered as "restaurant profits" which they must then file taxes on.`