
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body>

<div dir="auto" style="">Hello Whit,</div>

<div dir="auto" style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);">

<br>

</div>

<div dir="auto" style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);">

Do you have a time estimate for the completion of the turret vacuum jacket reinstallation? </div>

<div dir="auto" style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);">

<br>

</div>

<div dir="auto" style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);">

Mindy will take two weeks or more to reattach the wires to the vacuum flanges. </div>

<div dir="auto" style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);">

<br>

</div>

<div dir="auto" style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);">

<br>

</div>

<div dir="auto" style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);">

-Pablo </div>

</body>

</html>