One Saracen gearbox supplied with either 9.5mm or 11.5mm deadbolt (printed on the top of the deadbolt).
eBay