The Sato process model for option prices is expanded to accomodate credit considerations by incorporating a single jump to default occuring at an independent random time with a Weibull distribution. Explicit formulas for bid and ask prices are derived. Liquidity considerations are captured by...