What is the record number of ICDs a patient has ever had implanted over their lifetime?

As of right… … … NOW, one patient has had 12 ICDs.