<qa>  What is the name of the device that is implanted with?- Patient is implanted with electrical stimulation medical devices anywhere in the body e.g., cardiac pacemakers, implantable cardioverter defibrillators ICDs, spinal cord stimulators. This includes implanted leads and electrodes or abandoned leads and electrodes from an explanted device 