I think you're gonna be ok here.
Check out this calculator:
http://tastybrew.com/calculators/priming.html
1/2 cup of DME is roughly 3 oz by weight. Plugging 4 gallons into the calc and adjusting volume to get to 3oz DME, you're looking at ~1.7 volumes...low, but not terrible.