Simple for someone experienced doing such repairs. Really depends on how badly "crushed". You did say, "slightly."rleitch said:
If it's really bad then it might be better to replace the receiver as it would probably end up stretched after straightening and would no longer have a good seal. The neck tenon could be expanded to make up for it then, but the price starts going up for all this added work.