I've used the AKG Groove Pack in the past, don't have too much experience about the others you mentioned.
As with all low budget mics/mic sets, EQ is your friend. Try to get the least amount of bleed possible and get heavy handed with some subtractive EQ. The overhead mic signals usually...