How much did the Agra Diamond sell for?

One recent story, below, reads:

"The last time it was put up for sale was at Christie's in London on June 20th, 1990, by a seller who had inherited it in 1927. After fierce bidding it was sold for £4,070,000, well over twice its expected value, to the SIBA Corporation of Hong Kong."

You can also confirm this sale and read more about other famous pink diamonds, below.