The Earth is flipping hot too. Lava comes out at about 1k Celcius. The temperature that needs to go at Venus is in the atmosphere, and maybe in the crust.
The calculations I put up included the assumption that we'd only need to cool 1% of Venus's mass - the atmosphere and the crust.
Good points from Knaight and Rockphed regarding both planets being essentially at thermal equilibrium.