Best email that I got in a while:

“Not sure if you still remember me from Puerto Rico. I checked my bitcoin account for the first time in 9 years and the $10 you gave me has become ~$2700.”

seems it took a while until the orange pill I shared had some effect. :)

I am pretty happy that they still have their keys.