Just in case there’s anyone looking for a more compact lens and cash. Or indeed has just the lens for sale?