One more thing to think about is that chargers from HK will need a power supply. The last charger you listed is ac/dc but it has the same lower power output that the HK charger no.2 has.
If you want to charge at more than 1c, or @ 1c for the 3s packs, you would probably want charger 1 from HK. If you have extra time or don't want to have a separate power supply get the ac6 or the other HK charger.