Well, the sale was on Thursday, and ST posted yesterday, suggesting that £1,300 was the hammer price.

They also apparently sold a refinished unoriginal 3-barrel Webley Service set for (gulp) £3,100. 😳