Its never going to be £3-4k
The damage you have can be repaired with new parts , copy parts and secondhand parts - First saving possibility
You can probably put all the bits on yourslef and source them yourself - Second Saving possibility
You can get them sprayed properly in a top class approved bodshop or cheaper - third saving possibility
If you are paying the bill it is all down to you how much you can get it done for - My sons £4600 repair using genuine bits vw approved bodyshop etc i reckon could have been done alot cheaper and around £1500 or less , but then some tw@t pulled out onto him and smashed his pride and joy so we will get it repaired as best as possible with genuine parts and it was near perfect prior to accident too
Your car may have other bodywork issues and had previous work and you might be skint , that would make a great deal of difference to what you do
Good luck to you and hope that you get it sorted and it doesn't spoil your Xmas - Have a good one