Oh my god. . I was going to bid on this one as well and I wasn't going to go higher than $5k.
BTW, has anyone been watching Sedo/Snap/Namejet the last week/couple of weeks? I've noticed a major price increase in domain names, but maybe I'm wrong (no more sub $3k LLL.coms etc.)?