That is insane.
I have the same machine and it's almost better to just buy a new one than having to send it in for a $300 repair. 
Was the pump change difficult?