It wasn’t impossible to find if I absolutely needed it now, but a casual walk in to Retro City Games and they had the Players Choice copy of Mario 64.

I left my copy at a friend’s house. Along with a blue oem controller. Never saw any of them again. Still have the booklet.