Is high cholesterol a worry for the KETO guys?