is not where the extra stock came from. It is GDS conversion of some type. Matters not because the price of HRP is tied to HRT . Neither one will stray very far from the other but the HRT is the big Daddy of the pair.