RGC Resources (RGCO) — Short Interest