first of all, WHY is she driving the lexus? unless she can't drive manual,,, only reason I can think of...
your 4k revs are perfectly fine at 80mph, I myself have gone faster with my revs being higher for sustained periods with no damage... my car has 157000 miles on the original engine and...