I don't really know how it work, but if the address was right and they were sent correctly, is there any way for them to go missing? There are records of all transactions, right? If bitcoins can go missing and are finite they'll run out, so that seems intuitively wrong, and yet I don't see how anyone else can have them.