YouTubed changing pump on Bosch dishwasher. It’s the same trouble to replace the drain and circulation pumps. If you’re unsure what’s wrong just change them both. Relatively easy.
If the electrician didn’t leave you a long enough cord. Go buy a sacrificial extension cord. And you won’t be limited the next time you repair it.