I think with everything... depending on how long you are staying... hotel accommodations, transportation, park admission, food.... I think $4k is definitely enough with spending money left over
I went in 2014 me and my sister went half on a room so I paid like $175.00 and we stayed for 5days and the magic kingdom was buy 1 get 1 cause went to The Westgate and we sat through the presentation and got a villa.. In 2015 we got a villa 2 bedroom in the mystic dunes and me and my split the bill I paid $250.00 and stayed for 9 days
We went last year. We stayed at Westgate resort for 3 nights. It was $149 total. We had a 3 bedroom loft with a full kitchen. The resort had 14 pools and a water park. It was a timeshare so we did have to listen to a presentation for 90 minutes but you can say no to what they are offering. Our car rental was $90 total. We didn’t buy restaurant food until we were at the parks. We cooked the food at our hotel since we had a full kitchen. The most expensive thing was tickets to the park. At the time, my DS2 was free because he was 2. So for 2 kids 11 and 12 and 2 adults, for one park, it was about $1200 and that was with parking and eating at the park. I found flight tickets for $42 each way and bc I had southwest points, I paid about $200 for flight tickets for my family of 5. We only did one park bc the kids stay at the pool and the water park at our resort all day everyday lol. 3 nights/4 days wasn’t enough though. And it was so hot (I can’t do the heat lol). I hope that helps.