124C41

hi, i was wondering if anyone could help me out, i'm trying to figure whats a decent price for a average+ 96' LX sedan with about 80k miles. My friend is planning on purchasing one and over 4k seems a lil high? ext/int is clean and so is engine bay, just there isn't any service records with the car although carfax is clean. Thanks for any help, much appreciated