All they have to do is go to any post office with parcel ready packed.
Need to go airmail and depending on value of records tracking is available.
They will give a customs sticker which needs to be filled in ,description i.e. 7 inch vinyl record and value.
post office counter staff are usually helpful , easy really .