Yup, shifter bushings. Easy fix.
Yes, 4k is normal at 80mph. These cars were made during an era where the speed limits were still 55mph and geared accordingly.
There is a 5th gear swap for the XR2 that will drop about 500rpm at highway speeds, if you search the forum here there are a few threads with info.