Okay, GivemetheVIN keeps calling me back, but I won't let it go for 73K.
A "local" Porsche dealer is willing to give me about 77, or up to 78.9K if I put it on consignment.
In other words, get your butt in gear before this cream puff goes to some uncaring dealer. Please.