Downsizing the pool pump

About four weeks ago our swimming pool pump quit.  I don’t know the exact date, but our pool guy, Randy, left us a note.  We didn’t see the note, so a week later on his weekly visit I was home and he let me know about the pump.  The motor was frozen and couldn’t be turned.  A week or two before this