I have been poking around and also unable to find any information on whether they stocked it or not. I was thinking about taking a hike up there sometime this summer and seeing if anything survived. All else fails, just head back down to chain lakes for a couple of hours...