I have a similar question... I'm using 10.1 with a concurrent site license at my university... when I look at ArcGIS administrator, it appears that we have licenses available for bathymetry and nautical, but I didn't have the option to install them at any point, and I can't activate them from the list of extensions. Is there a way I could download the software for the extension, to be activated by my site license? Thanks.