Hi George, YES I think you got it;-)
I would replace the drain pump because it should operate even when its hot.
They will fail in this way fro time to time.
The best place to get a new pump is: https://www.uk-spares.com/products/appliances/appliance-manufacturers/delonghi
I would call them to order the pump, it should be shipped to you today;-)
Please call: 01454 620 500
In any case, I will stick with you until this is complete.
Please rate my service kindly.
Also it is the only way I am credited for my time and expertise with you.
Once you rate, I will be notified and will add your question to my priority list so you can reach me anytime until this problem is solved.
Then you can reach me by simply replying to this message anytime.
Thank you and have a great day George!
Also once you rate , you will have access to me for 30 days, no cost further.