That low figure for the float at only 13.3 million (after seeing much higher figures from two other sources before this one from Morningstar) is very welcome. Good find, Tutter!