Last week it was reported that the developers of the upcoming George W. Bush Presidential Library bought back the domain name GeorgeWBushLibrary.com that they had originally purchased for $3,000 for the princely sum of $35,000. Ouch. Big ouch. The real …