Yes, The car has had five owners!
dealer claims to have service records and owners manual etc. also when looking for the option sticker did not see air pump but he may have removed it for safe keeping.
sticker in engine compartment claims timing belt done at 56K miles. There is a shell service sticker in there too (!?) possably someone had the car serviced at a shell station?