Has that also been paid by the healthcare system, or would people have to pay out of their own pocket?