I Did Not Make It Up.
The actual sales price was 7,800 Pounds,
which converts to almost exactly $11,850 U.S.
Go figure.