Lew,
You are correct. But forget Blue book,Nada, and opinions. Just check EBay "Sold Listings".
Use the year range 1999-2002.
If it is a Base 2.7L it is way,way overpriced.
This will give you an idea for year 2000 for all Boxster flavors
2000 Porsche Boxster in Boxster | eBay