Well, I got her back today and Pensacola Motorsports did a good job. No leaking, removed parts available for viewing, they were incredibly accommodating.
The rest of her "spa week" went fine, new tires (OEMs), 16,000 mile service including the clutch and front brake fluid drain & replace.
They gave me a military discount as well.