4k rpm @ 80 mph seems pretty normal to me, it doesn't seem that high. Usually for my ef civic si, it's around 3500 rpm.