I've run into that iOS push re-send bug a few times, but I've had trouble finding any information about the bug online. It seems to only happen to me for scheduled push notifications, but not immediate push notifications. Do you have any online resources that talk about this bug?