UPDATE:
Pentair authorized service company is replacing the motor today, gratis. Initially, the repair agent tried to schedule me for NEXT TUESDAY. I replied to Pentair this was unacceptable, i.e.: this is Florida, it's hot, chlorine is likely depleted and pool will be green by next Tuesday...