Inappropriate ICD shock due to hot tub-induced external electrical interference.