Yes, he will absolutely call Dispose. The operator using's point is what Disposeis called in the block finally, so the resource will be set regardless of whether the block completes normally or with an exception.
, IIRC , Response.Redirect ThreadAbortException, , , finally.