What you have here is rare- the EUR Spotpass dump on archive.org doesn't contain Mario & Happy! Thank you very much for uploading this.
I put a comment on the archive to mention your Spotpass data- hopefully if you're willing, perhaps this dump could replace the existing one as it's more complete?
last 3 blue lanky coins are in the underwater cave at the lighthouse. They're to the left once you enter it, then go get the hidden dirt mound at fungi forest to get 814 coins