known as locally as ‘Racoon Mario’ before the internet)