[lmm]

Japan has a public option, although employees opt for it at the group rather than the individual level. A given company's employees choose their health insurance provider via their union/representatives, and they always have the option of the baseline national provider. (Non-employees/dependents always have public healthcare via their local government)