It is odd that someone this particular did not save the window sticker. But the rest of the paperwork is there. So I'll agree the seat option does not add up.
The factory muffler was swapped out by the original owner. I'll assume for a louder or sporty muffler. So someone that wants the extra sound may have also wanted the sport seats the car did not come with and added those too.
The new owner does not want the buyers to know and has disposed of the window sticker.
I'm just assuming this because of the muffler swap and the detailed paperwork minus the window sticker.
Anyone else that knows a military pilot also knows that he saved the window sticker.
I will add the Porsche of Atlanta bent him over good on the service work.
R&R Clutch $1,970.00 labor
Then $930.00 labor to service it
Then $387.00 labor to remove the aftermarket muffler and install the original muffler. The engine is out... That took 3+ hrs

Then $310.00 labor to change the decklid struts with the engine out? That's a 15 min job.
Crooks!
And I cannot stand reading the comments at BAT auctions. The goof balls with their Widowmaker comments and stories annoy me. Theses cars are a joke compared to modern power.
Anyone who thinks they are a handful in stock form needs to stick to driving their Prius.