After a week of being jolted awake, or waking early in anticipation, I decided to see what I could do. The web is a marvellous beast.
First of all, the hunt for the tone (I had the name from the old phone) led me to a YouTube video.
Who wouldn’t want to wake to that?
Then a trip to OnlineVideoConverter to convert to mp3. I downloaded that to the music directory on my phone, then selected it as my alarm tone. Yay!
But still too loud. The alarm has only a very coarse volume control. So back to the web, to MP3 Louder, and decrease the volume by 3db. Download the new version.
But why Samsung had to remove both the smart alarm and the tone in the first place ... grumble, grumble ...