I just placed an order on HP USA's site for a customized TX1000Z. I chose the 6-cell battery when customizing. After ordering, I searched their site and it looks like the 4-cell battery is not sold separately. Only the 6-cell battery is available separately. How do I get the 4-cell if I need one?