Hey Perfectlap, those prices you have there are close KBB, but dealers use a wholesale Black Book to price your car. Those prices can be $3-6K below KBB depending on mileage and condition.
Old Hippie Young Heart
2000 S/3.2 Liter/Tiptronic/Boxster S Sport Package/Cruise Control/Slate Grey Metallic
Red Special Leather Interior/Red Floor Mats/Red Hand Painted Instrument Dials/Roll Bar/Windstop
Small Carbon Package/Leather Wrap Carbon Wheel/Center Console Exterior Color/Alum Carbon Shift Knob
AM/FM Radio w/CD Player & Changer/Digital Sound Package/18" Turbo Wheels/Wheel Caps w/Colored Crest