Did anyone else see the blue 8,800 mile 612 that sold on Ebay? $174k. Pretty good price but it has an F1 trans....