Fund managers haven’t disclosed any holdings of RUN yet.