PCSK9 and familial hypercholesterolemia: The level of hypercholesterolemia induced by the PCSK9 mutation was comparable to other studies of the PCSK9 minipig [6–10].