What about tipping asteroids into Venus and using the impacts to jettison gas?