I'm sure it can be fixed if needed.
What I would do is post some pics so others can better understand the situation. I guess no one will really know what the situation is with it untill it's serviced or repaired. There might be something else wrong with it but lets hope not.
Also 20amp plug - the weather proof industrial ones? Also any service place such as jetblack or any others can get you a suitable portafilter and baskets.
It's what I'd do.